proved Prop about extensions of rings