theorem :: XPRIMES0:531

not 531 is prime