A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Feltételezhetjük, hogy és nem nagyobbak -nél, ugyanis -t -ra, -et pedig -re cserélhetjük ellenkező esetben. Könnyen ellenőrizhető, hogy | | (1) | (Például úgy, hogy | |
Az és binomiális együtthatók értelmesek, mert , miatt és . Ugyanakkor az is igaz, hogy (Ez szintén ellenőrizhető az előbbi behelyettesítéssel: | |
Az (1) bal oldala osztható -val. Ha jobb oldalán az tényező ehhez relatív prím lenne, akkor a másik tényezőnek, -nak kellene -val oszthatónak lenni. De egy pozitív egész nem lehet egy nála nagyobb számnak többszöröse, ez tehát ellentmondás. Tehát és nem lehetnek relatív prímek.
|