theorem :: XPRIMES0:632

not 632 is prime