theorem :: XPRIMES0:445

not 445 is prime