theorem :: XPRIMES2:6929

canceled;