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. Ha valamilyen érték mellett minden -re osztható -tel, akkor -re is osztható, tehát Itt a bal oldal páros, tehát a jobbnak is párosnak kell lennie. Ez akkor és csak akkor áll fenn, ha páros: . Így -ra azt kapjuk, hogy | | Itt tetszés szerinti egész értéke mellett fennáll (1) az értékkel. Megmutatjuk másfelől, hogy minden -re -tel osztható számmal tér el az -hez tartozó értéktől. Valóban | | és a jobb oldal első különbsége osztható -cal, tehát -tel is, a második tag pedig osztható -tel, így az egész különbség is. Azt kaptuk tehát, hogy akkor és csak akkor osztható minden -re 7-tel, ha ez az -hez tartozó értékére teljesül, ehhez pedig szükséges és elegendő is, hogy 7-tel osztva 3-at adjon maradékul. |