lemma: a subsidiary proposition that is assumed to be true in order to prove another proposition
proposition: (logic) a statement that affirms or denies something and is either true or false
direct-grant school: formerly a school that charged tuition fees and also received government grants in return for admitting certain non-paying students who were nominated by the local authorities