theorem :: XPRIMES0:1375

not 1375 is prime