Observăm că pentru n≥5 avem (n!)5=(k⋅2⋅5)5. deci U2c[(n!)5+145]=45. Prin urmare, numărul de sub radical nu este pătrat pefect (doar numerele cu U2c=25 ar putea fi pătrate perfecte).
Verificăm manual celelalte cazuri:
- n=1⇒(n!)5+145=1+145=146=p.p.
- n=2⇒(n!)5+145=25+145=177=p.p.
- n=3⇒(n!)5+145=25⋅35+145=7921=982=p.p.
- n=4⇒(n!)5+145=25⋅35⋅45+145=7921⋅1024+145=8111249= p.p.
OBS: Fără calculator, ultimul număr e dificil de verificat dacă e p.p. Alternativa (nici ea prea simplă) ar fi:
(2⋅3⋅4)5+145=245+145=(M7+3)5+M7+5=M7+35+M7+5=M7+3=p.p.
Demonstrăm că nu există pătrate perfecte care împărțite la 7 să dea restul 3.
(M7+0)2 (mod 7)=0
(M7+1)2 (mod 7)=12 (mod 7)=1
(M7+2)2 (mod 7)=22 (mod 7)=4
(M7+3)2 (mod 7)=32 (mod 7)=2
(M7+4)2 (mod 7)=42 (mod 7)=2
(M7+5)2 (mod 7)=52 (mod 7)=4
(M7+6)2 (mod 7)=62 (mod 7)=1
Deci nu există niciun pătrat perfect care, împărțit la 7, să dea restul 3.