theorem :: XPRIMES0:1518

not 1518 is prime