1. אני לא חושב שיש פה משהו שונה מהוכחה רגילה על יחס סדר לקסיקוגרפי בתגובה להודעה מספר 0
ערכתי לאחרונה בתאריך 29.01.14 בשעה 21:08 בברכה, Dark-Wish
אני רק ארשום אותם יהיו <a,b> <c,d> כלשהם אם a=c נפצל למקרים: אם b=d, אם b<d, אם b>d - תראה שבכול המקרים האלו הסדר מתקיים. אם a לא שווה ל-C אז הוא בהכרח גדול או קטן ממנו ולכן יתקיים abScd או cdSab...