theorem :: XPRIMES0:1370

not 1370 is prime