Minor improvement of proof.