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
alpine bearberry: deciduous creeping shrub bright red in autumn having black or blue-black berries; alpine and circumpolar