How do you prove the identity #tan (x-pi/4)= (tan x - 1)/(1 + tan x)#?