El otro tipo de afirmaciones a las que se hace referencia son los teoremas.