theorem :: XPRIMES0:448

not 448 is prime