Tangent of Difference/Proof