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