Proof problem fixed.