added omitted proof.