How do we know that the death of the husband releases the wife?