{ ( x , y ) + ( x ′ , y ′ ) } + ( u , v ) = ( x , y ) + { ( x ′ , y ′ ) + ( u , v ) } となるようにし、(d) 減法の結果が一意的になるように、すなわち方程式 ( x , y ) + ( a , b ) = ( c , d ) を満たす未知の順序対 ( x , y ) を求めようとするとき、
Table of Contents
VII
72
{ ( x , y ) + ( x ′ , y ′ ) } + ( u , v ) = ( x , y ) + { ( x ′ , y ′ ) + ( u , v ) } となるようにし、(d) 減法の結果が一意的になるように、すなわち方程式 ( x , y ) + ( a , b ) = ( c , d ) を満たす未知の順序対 ( x , y ) を求めようとするとき、