Even though it was already known, more proof is good.