theorem :: XPRIMES0:516

not 516 is prime