Proof_Comparison_197