Definition of "subproof"

subproof