Partial extensions of jets and the polar distribution on Grassmannians of non-maximal integral elements

The proof starts form the space of integral flags, constructing the tower of prolongations by reduction.