D dx sin x proof