Term Comparison and Proof