File:Exterior angle theorem of triangle.ggb