220929_Notes: Triangle Angle Sum Theorem