Theorem Proving Using Rigid E-Unification Equational Matings