3.5 exterior angle theorem and triangle sum theorem