Prove freshman's dream (commutative ring with characteristic p)