How do you prove tan(-a) = tan(360°-a) = -tan ?