Em uma aula de matemática do Colégio Euclidiano, a professora escreveu no quadro a seguinte sentença: 

3a -7 = 5a - 15.

Ela explicou que é possível obter uma sentença equivalente aplicando propriedades da igualdade, como somar o mesmo número aos dois lados ou subtrair expressões iguais de ambos os lados. A sentença equivalente à apresentada pela professora é: