subproof (proof + sub-; below_under)
A proof that makes up part of a larger proof