theorem :: XPRIMES1:467

467 is prime