theorem :: XPRIMES0:120

not 120 is prime