theorem :: XPRIMES1:1140

canceled;