demonstração
...ou de teoremas já estabelecidos a um

lema
...de um teorema

proposição
teorema

teorema
proposição que se demonstra por dedução lógica a partir de proposições já demonstradas ou admitidas como verdadeiras

teoremático
relativo a teorema

tese
afirmação ou conclusão de um teorema