[127] Prerequisites:[125]↺↻,[124]↺↻.
Let B~={−b:b∈B}: show that (A⊕B)c=Ac⊖B~, where ⧵Ac=X⧵A is the complementary.
[128]↺↻