Surely you have a nice proof but it is too large to write in the margin ... :)