Onde a demonstração não é deixada como exercício para o leitor.