theorem :: XPRIMES1:1232

canceled;