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
psilopsida: whisk ferns; comprising the family Psilotaceae or Psilotatae: vascular plants with no roots, partial if any leaf differentiation, and rudimentary spore sacs