Kohnert proposed a formula for Schubert polynomials as the generating polynomial for certain unit cell diagrams obtained from the diagram of a permutation. Billey, Jockusch and Stanley proved a formula for Schubert polynomials as the generating polynomial for compatible sequences of reduced words. In this paper, we give an explicit bijection between these two models, thereby proving Kohnert's rule for Schubert polynomials.

Mathematics Subject Classifications: 05A05, 05A19, 14N10, 14N15