theorem :: XPRIMES1:1710

canceled;