| ⊢ | (f ∧ f1) ; g ⊃ f1 ; g | AndChopB |
Proof:
1 | ⊢ f ∧ f1 ⊃ f1 | |
2 | ⊢ (f ∧ f1 ⊃ f1) | |
3 | ⊢ (f ∧ f1 ⊃ f1) ⊃ (f ∧ f1) ; g ⊃ f1 ; g | |
4 | ⊢ (f ∧ f1) ; g ⊃ f1 ; g |
qed