theorem :: XPRIMES0:1371

not 1371 is prime