a small logical statement or derivation used as part of a larger proof