Anfonwch hwn fel neges destun: On characteristic p Verma modules and subalgebras of the hyperalgebra