🚀 Гаусс щойно автоматично формалізував доведення гіпотези Какеї для скінченних полів! 🧵 (1/5)