Eilenberg%E2%80%93Niven theorem