Talk:Eilenberg–Niven theorem