Sentence:  If * * f is the null space of * * f , then <WSD>Theorem</WSD> 12 says that * * f . 
Meaning of the word marked with <WSD> tags:  a proposition deducible from basic postulates