theorem :: XPRIMES0:638

not 638 is prime