Множина попарно несхожих гарних четвірок
Умова задачі
Четвірку цілих чисел називають гарною, якщо . Дві гарні четвірки називають несхожими, якщо одну не можна отримати з іншої за скінченну кількість таких трьох дозволених операцій:
- ;
- ;
- .
Покажіть, що будь-яка множина попарно різних несхожих гарних четвірок має не більше як елементів.