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
dichromacy: a deficiency of color vision in which the person can match any given hue by mixing only two other wavelengths of light (as opposed to the three wavelengths needed by people with normal color vision)