How do you prove #tanx tan(1/2)x = sec x- 1#?