Mais um teorema cai por terra @HarmonicMath e ChatGPT+Claude com a ajuda!