I have discovered a truly marvelous proof of this, which this margin comment is too narrow to contain.