Indução sobre $n$.