Page "Kruppa–Demazure theorem" not found :(