Taylor-Proudman theorem