 In a convergent ARS, every object has a unique normal form.But it is sufficient for the system to be confluent and normalizing for a unique normal to exist for every element, as seen in example 1.Theorem (Newman's Lemma)