theorem :: XPRIMES2:6716

canceled;