Tangent of i/Proof 1