Вася придумал алгоритм, как выбрать самую лёгкую гирьку из четырех гирек разной массы на чашечных весах. Сначала он взвешивает гири попарно, затем определяет в более легкой паре, какая гирька самая легкая из двух. Верно ли, что Васин алгоритм работает для любых весов гирек?