Category:Deg Xinag lemmas