נתון לנו ש X איננו 0 ושהוא שונה מY שואלים איזו טענה אפשרית טענה 1: אם X איננו 0 אז X:Y לא יכול להיות שווה ל0 טענה 2: אם X שונה מY אז X-Y לא יכול להיות שווה ל0 טענה 3: על מנת שהטענה הזאת תתקיים צריך שX בריבוע יהיה שווה לY בריבוע. אמנם X שונה מY אבל אנחנו מכירים מספרים שונים שהריבוע שלהם שווה. למשל 2 בריבוע זה 4 וגם 2- בריבוע יתן לנו 4. הטענה הזאת אפשרית בהחלט!