Proof more property about assignment.