theorem :: XPRIMES0:1350

not 1350 is prime