theorem :: XPRIMES0:64

not 64 is prime