Next: , Up: Miscellaneous Rules


6.5.1 Lemma

This handy little rule allows one to use proofs one has already done. The premises don't have to match exactly, but must be of the same form.