A Technique for Establishing Completeness Results in Theorem Proving with Equality