@paulchisto: Also see proof