. "a subsidiary proposition that is assumed to be true in order to prove another proposition"@en-us . "06751833-n"^^ . "106336586"@en-us . "106751833"^^ . . "0"^^ . . . . . "lemma"^^ . . . . . "105059457"@en-us . "0"^^ . . "lemma"@en-us .