Kutta–Joukowski theorem — theorem