Possible Answers For: Auxiliary theorem