theorem :: XPRIMES0:1441

not 1441 is prime