theorem :: XPRIMES2:6989

canceled;