theorem :: XPRIMES0:1443

not 1443 is prime