theorem :: CC0SP2:6

for X being non empty TopSpace
for f, g being continuous Function of the carrier of X,COMPLEX holds f - g is continuous Function of the carrier of X,COMPLEX