Giavanna's Angle Sum Theorem

This is my geogebra sketch of dynamic supplementary angles and angle sum theorem.