I disagree that this theorem is very deep. See https://math.stackexchange.com/questions/2046777/deep-theorem-with-trivial-proof https://math.stackexchange.com/

I disagree that this theorem is very deep. See https://math.stackexchange.com/questions/2046777/deep-theorem-with-trivial-proof https://math.stackexchange.com/questions/2046777/deep-theore....