lemma: a subsidiary proposition that is assumed to be true in order to prove another proposition
snipefish: small bottom-dwelling fish of warm seas having a compressed body and a long snout with a toothless mouth