theorem :: XPRIMES1:706

canceled;