theorem :: XPRIMES0:612

not 612 is prime