אם יש ריבוע ובו יש אלכסונים מסורטטים אבל לא נתון שהם אלכסונים, ניתן לכתוב בהוכחה שהם אלכסונים אפילו שלא נתון?