theorem :: XPRIMES1:2717

canceled;