>>926
命題についての同値ってのは理解してたんだけど、2式が同値っていう使い方もするのね。
詳しい説明感謝です。