Possible Answers For: Auxiliary propositions, in math