Sentence:  The latter <WSD>theorem</WSD> has been generalized by Yamabe and Yujobo , and Cairns to show that in **f there are families of such cubes . 
Meaning of the word marked with <WSD> tags:  a proposition deducible from basic postulates