Category:A-Hmao lemmas