theorem :: XPRIMES0:1372

not 1372 is prime