logic A result already proved, which is needed in the proof

of some further result.