How do you prove that #(1 + tan theta)[1 + tan(1/4 pi - theta)] = 2#?