פתרון
יש כאן שתי אפשרויות האפשרות הקלה - כפי שזה מנוסח ע"י קבוצות סגורות. הוכח שאם f הומיאומורפיזם (רציפה חח"ע ועל בין שתי קבוצות קומפקטיות), אז שפה עוברת לשפה. מצד שני, השפה של הריבוע היא לא בת-מנייה, והשפה של הקטע היא 2 נקודות, בסתירה. להוכחה הכללית (שאם נניח מדברים על קטעים פתוחים, שם הטריק הזה לא יעבוד), זה הולך כך - מסתכלים על f(0.5), היא כמובן נקודה פנימית בריבוע. מסתכלים על f(0.25),f(0.75), הם שתי נקודות בריבוע, שונות מ-f(0.5). עכשיו אפשר לחבר ביניהן במסילה שלא תעבור ב-f(0.5) (זה קל מאוד לבנות דבר כזה). עכשיו בגלל ש-f חח"ע ועל וההופכית רציפה [כאן חייבים להניח שנתון שההופכית רציפה, כי הקטעים לא קומפקטיים יותר], אז f^-1 מורכבת על המסילה הזו, תיתן לך מסילה בין 0.25 לבין 0.75. מסילה היא פונקציה רציפה, ופונקציה רציפה כך ש- g(0.25)=0.25, g(0.75)=0.75 חייבת לקיים ממשפט ערך הביינים שיש t כך ש- g(t)=0.5. אבל g(t)=0.5=f^-1(c(t)) zz כאשר c(t) היא המסילה בריבוע, תפעיל את f ותקבל zz f(0.5)=c(t) zz כלומר המסילה c עוברת ב-f(0.5), בסתירה לבחירת המסילה.