HM.LMIR.3.1: Prove statements in a deductive system by using its definitions, postulates, and axioms