theorem :: XPRIMES0:515

not 515 is prime