Ring


THEOREM    \((-x) * y = -(x * y)\)

Proof available

THEOREM    \(x * (-y) = -(x * y)\)

Proof available

THEOREM    \((-x) * (-y) = x * y\)

Proof available

Proper subsets