Proving Angle Sum Property