theorem :: XPRIMES0:630

not 630 is prime