A Completeness Proof Technique for Resolution with Equality