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