theorem :: XPRIMES2:8985

canceled;