theorem :: XPRIMES1:1708

canceled;