אבל אז זה סותר את השאלה! חח
לפי השאלה, יש אינסוף עצים, ובין כל שני עצים שתבחר המרחק עדיין שלם, ומפה נובע שהם על קו ישר.
אנחנו מנסים להוכיח בשלילה שקיים עץ שלא על הישר, ולכן קיים עוד עץ שונה ככה שהמרחק ביניהם הוא לא שלם:help:
נכון זה שקיים יער אפשרי כזה זה ברור.
אני מניח שקיים יער בו יש לפחות עץ אחד שלא על הציר(אם יש יותר אז רק יותר טוב).
אני לא מנסה להוכיח שקיים עץ כזה אלא להראות שלא יכול להיות עץ כזה.