Divisibilità da un TST iraniano

[piever]

Si dimostri che, per ogni $ n $ intero positivo si ha:

$ \displaystyle 3^{5^{2^n}-1}\equiv 5^{3^{2^n}-1}\pmod{2^{2n+6}} $

[piever]

Hintone: si consideri un intero positivo "a" tale che 3^a+5 è moolto divisibile per 2...