Рукописные записи: a + b·c = d; b·c = d − a; b = (d − a)/c.

Проверим преобразование, считая, что в первой строке записано уравнение a + b·c = d.

1. Вычтем a из обеих частей: b·c = d − a.
2. Разделим обе части на c, при условии c ≠ 0: b = (d − a)/c.

Обе последующие записи верны при указанном условии.