theorem :: XPRIMES0:636

not 636 is prime