Christol's theorem

2026