theorem :: XPRIMES1:491

491 is prime