VID_Trig_CircleTheorems

[/restrict]