https://www.passeidireto.com/pergunta/134661650/5-utilize-a-definicao-fornecida-para-provar-que-n-≥-0-para-todo-numero-inteiro-n
Recomendo esse arquivo que achei no Passei Direto