theorem :: XPRIMES0:144

not 144 is prime