theorem :: XPRIMES0:1428

not 1428 is prime