premise: If * * f is the operator induced on * * f by T , then evidently * * f , because by <mask> * * f is 0 on the subspace * * f .
hypothesis: the proper context for <mask> here should be a concise explanation of the meaning of a word or phrase or symbol