theorem :: XPRIMES0:1764

not 1764 is prime