theorem :: XPRIMES0:446

not 446 is prime