theorem :: XPRIMES0:1446

not 1446 is prime