Oi, faça uma pergunta sobre simplify log7(1)