Added proof for #439.