for n, m being Nat
for IT being Function of (REAL m),(REAL n) st IT is additive holds
IT . (0* m) = 0* n