3^( (((65536^65536)+1)-1) / 2 ) ≡ -1 (mod ((65536^65536)+1))