theorem :: XPRIMES1:2975

canceled;