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