File:Angle_addition.svg loading ...