Theory of wind turbines with contrarotation