take (TOP-REAL n) --> (0.REAL n) ; :: thesis: ( (TOP-REAL n) --> (0.REAL n) is homogeneous & (TOP-REAL n) --> (0.REAL n) is additive & (TOP-REAL n) --> (0.REAL n) is continuous )
thus ( (TOP-REAL n) --> (0.REAL n) is homogeneous & (TOP-REAL n) --> (0.REAL n) is additive & (TOP-REAL n) --> (0.REAL n) is continuous ) by BORSUK_1:36; :: thesis: verum