theorem :: XPRIMES1:2305

canceled;