Half the sum of positive roots, the Coxeter element, and a theorem of Kostant