В алгоритмі є щось, що говорить: «Ця річ і ця інша річ начебто однакові», тому давайте покажемо йому.