simpler proof of derivatives of trig functions