Text this: The acyclicity of the Frobenius functor for modules of finite flat dimension.