I have discovered a beautiful proof of this theorem, but this node is too short to write it down.