The correspondence between Barsotti-Tate groups and Kisin modules when
Let be a finite extension over and the ring of integers. We prove the equivalence of categories between the category of Kisin modules of height 1 and the category of Barsotti-Tate groups over .