theorem :: XPRIMES2:6985

canceled;