El 25 de diciembre de 1640, en una carta a Mersenne, Fermat demostró la conjetura de Girard: todo primo de la forma 4n+1 puede expresarse de manera única como suma de dos cuadrados. Por eso es conocido como el Teorema de Navidad de Fermat 🎄
4n + 1 = x² + y² = p
— fun with functions (@funfunfunctions) December 25, 2022