我發現一個對這個定理非常漂亮的證明，但這個doodle沒有足夠的空間可以容納的下