  We show that the p-operator in the Witt algebra (the restricted Lie algebra
of derivations of the quotient of the polynomial algebra over a field of
characteristic p by the ideal generated by the p-th power of the indeterminant)
is given by multiplication by a scalar.
