theorem :: XPRIMES0:428

not 428 is prime