theorem :: XPRIMES0:1445

not 1445 is prime