Ta thấy: [tex]20^{20}+1[/tex] có hơn 20 chữ số => n < 20.
Thử n = 1, n = 2 ta thấy p = 2, p = 5 thỏa mãn.
Với n > 2 thì p > 5 nên p lẻ => n chẵn.
Với [tex]n=(2k+1)q\Rightarrow p =n^n+1=n^{(2k+1)q}+1=(n^q)^{2k+1}+1\vdots n^q+1[/tex](loại)
Vậy n không có ước lẻ, hay n = 2^i.
Mà n < 20 => i =2,3,4.
Thử ta thấy i = 2 thỏa mãn. Vậy p = 2,5,257