Так, доведення проблем Ердеша з @HarmonicMath Арістотеля — це чудово, але чи пробували ви використовувати це для перевірки рішень у стилі LeetCode? Ми маємо. Це працює (інваріантний висновок — це... Ще не швидко).