🚀 ガウスは有限体に対するカケヤ予想の証明を自己形式化しました! 🧵 (1/5)