Wiktionary
subproof
n. (context mathematics English) A proof that makes up part of a larger proof.