theorem :: XPRIMES0:63

not 63 is prime