theorem :: XPRIMES0:505

not 505 is prime