theorem :: XPRIMES0:1512

not 1512 is prime