Формальные равенства: понятие и примеры