theorem :: XPRIMES0:512

not 512 is prime