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