theorem :: XPRIMES2:6890

canceled;