Pierwszy na świecie uprościłem metodę dr. Stefana Banacha. lwg: Wyznacz wszystkie rozwiązania naturalne dodatnie (wystarczy w N+, bo np. na wyspach brytyjskich doba jest dłuższa, niż w RP) równania. Pewien znakomity profesor dr hab.: 400=20²=(2uv)² ⇒ (u=10 i v=1) lub (u=5 i v =2). Stąd 400=101²−99²=29²−21². Panie Profesorze, a gdzie 52⁻48²=25²−15² = 400 ? Profesor z niezłym ślugiem: NO CÓŻ, PROFESOR TEŻ WSZYSTKIEGO NIE WIE OD RAZU. 400=z²−y^. k ∊ {2, 4, 8,10}, gdyż ilorazy też muszą być parzyste 400/2, 400/4, 400/8, 400/10. Oczywiście k < √400 i z − y = k. Wyznaczymy tylko rozwiązania brakujące. [z = (400 + 4²)/(2*4) = 52 i y = (400 − 4²0/(2*4) = 48] lub [z = (400 + 10²)/(2*10) = 25 i y = z − k = 25 − 10 = 15. Niestety ktoś się nie bał i to pierwszeństwo mi zajebał. Ale to nie dowód WTF. I nie dowód The Andy Beal Conjecture. Miejmy nadzieję, że tego drugiego dowodu nie pod3,14 ier/lą.