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
constantinople: the council in 869 that condemned Photius who had become the patriarch of Constantinople without approval from the Vatican, thereby precipitating the schism between the eastern and western churches