  Using reduction to positive characteristic and the method of Frobenius
splitting of diagonals, due to Mehta and Ramanathan, it is shown that
homogeneous coordinate rings for either proper and smooth toric varieties or
Schubert varieties are Koszul algebras.
