Por ejemplo los axiomas de la teoría en la que se ha trabajado o los teoremas anteriores ya demostrados.