venom: toxin secreted by animals; secreted by certain snakes and poisonous insects (e.g., spiders and scorpions)
lemma: a subsidiary proposition that is assumed to be true in order to prove another proposition