theorem :: XPRIMES0:60

not 60 is prime