dowód lost3: Udowodnij, ze dla każdej liczby nieparzystej n wyrazenie n⁵ + 11n⁴ − n + 21 jest podzielne przez 16

ICSP: Rozbij 21 na −11 + 32 Następnie : W − 32 = n⁵ + 11n⁴ − n − 11 = (n² + 1)(n−1)(n+1)(n + 11) Teraz wystarcz zauważyć, że każde wyrażenie w nawiasie dla nieparzystego n będzie liczbą parzystą. Dlatego dla pewnego całkowitego k mamy: W − 32 = 16k co daje W = 16(k + 2) = 16k₁ a to jest definicja podzielności przez 16