theorem :: XPRIMES0:416

not 416 is prime