theorem :: XPRIMES0:62

not 62 is prime