theorem :: XPRIMES1:2942

canceled;