I.2.10 and I.2.11

I think this new proof is shorter and easier to understand lol