AFM.LR.2.2: Prove statements directly from definitions and previously proved statements.