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