theorem :: XPRIMES0:1296

not 1296 is prime