theorem :: XPRIMES1:4961

canceled;