Torsion Formula Derivation