theorem :: XPRIMES2:6296

canceled;