subproof

Noun

 * 1)  A proof that makes up part of a larger proof.