Wrote a 1000 times simpler proof