 Such a triangle is unique up to isometry.The interior angle of formula_12 at formula_16 is called the comparison angle between formula_10 and formula_11 at formula_9.This is well-defined provided formula_10 and formula_11 are both distinct from formula_9.