theorem :: XPRIMES0:1387

not 1387 is prime