theorem :: XPRIMES0:506

not 506 is prime