Prove #tan^-1 (cot (theta)) /2 = pi/4 + theta/2#?