eq_proof.svg 35.2 KB