I never understand the proof by contradiction, because somewhere in the middle I always lost myself.