Kolejna teorema pada na kolana @HarmonicMath i ChatGPT+Claude z pomocą!