削除された内容 追加された内容
32行目:
* ''a''/''c'' = ''b''/''c''
 
が辺々がともに定義可能である限りにおいて成り立つことをいう。これは ''x'' ± ''c'', ''xc'', ''x''/''c'' なる式によって代入原理から導かれる。これらを総称して、等式変形と呼ぶ。に、
: ''a'' = ''b'' ± ''c''
となることは複号同順で