Proof for #307.