 Moreover, even though the "D"1 may not be "D"2, the operator ("f"1 + "f"2) ("T") is well-defined.Same holds for the definition of ("f"1·"f"2)("T").So far the full strength of this assumption has not been used.