Exact two-dimensionalization of rapidly rotating large-Reynolds-number flows