theorem :: XPRIMES1:461

461 is prime