Isn't the actual proof of this theorem really complicated?
Prooving 1+1=2 isn't exactly a one-liner either isn't it