A nested proof—that is, a proof that occurs within a larger proof sequence. (See also Subproof.)