theorem :: XPRIMES1:705

canceled;