Possible Answers For: Auxiliary proposition, in math