interior angles sum property of the triangle