Loop Grassmannian cohomology, the principal nilpotent and Kostant theorem