Ще одна теорема скористалася @HarmonicMath і ChatGPT+Claude з допомогою!