Now what does this prove and so on?

Top