I have a proof, but this comment box is too small to contain it.