תודה מראש
'''לגבי החלק הראשון של השאלה (הוכח / הוכח פורמלית / הוכח ע"פ הגדרה) - זה מאוד תלוי בהקשר של השאלה, למשל בתורת הקבוצות "הוכח פורמלית" אומר הוכח לפי הגדרה או לפי זהויות ולא בטבלת אמתשייכות, בקומבינטוריקה יכולים לבקש שתוכיח זהות באופן אלגברי או באמצעות בעיות קומבינטוריות שהביטויים מתארים. באופן כללי "הוכח" תמיד אומר "הוכח פורמלית", בד"כ מציינים "פורמלית" כשיש נטיה לסטודנטים להשתמש בכלים אחרים כמו דיאגרמות וטבלאות.
'''לא זכור לי שראיתי דרישה להוכיח "ע"פ הגדרה", אם מצאת משהו כזה תשלח לי.