theorem :: XPRIMES1:1701

canceled;