theorem ThWW: :: GTARSKI2:7

for n being Nat
for a, b, c being Element of (TOP-REAL n) holds (c - a) - (b - a) = c - b