How many degrees are in the sum of the angles of a triangle?