補題３
(a,b,c;e) が成り立つとき
(a,c-e,c;c-b) が成り立つ。
証明
メニューに戻る