theorem :: XPRIMES2:7985

canceled;