theorem :: XPRIMES0:447

not 447 is prime