full wypas: Skoro 7|(2a+1) to 7|3(2a+1), czyli 7|(6a+3), podobnie skoro 7|(3b−2) to 7|2(3b−2), czyli
7|(6b−4). Zauważ teraz, że skoro 7 dzieli 6b−4 i 6a+3 to dzieli także ich sumę, czyli
7|(6a+6b−1) widzimy teraz, że 6a+6b−1≡0(mod 7) ( inaczej zwraca resztę 0 przy dzieleniu
całkowitym przez 7). Dalej: 6(a+b)≡1(mod 7), a ponieważ 6≡−1(mod 7) wiec, aby zachodziło
6(a+b)≡1(mod 7) musi być (a+b)≡−1(mod 7). Wobec ostatniego bezpośrednio otrzymujemy tezę
a+b+1≡−1+1≡0(mod 7) cnd
