Template:Did you know nominations/Lexell's theorem