🚀 Gauss właśnie automatycznie sformalizował dowód hipotezy Kakeya dla pól skończonych! 🧵 (1/5)