Additivity Axiom for the Torsion Forms and Higher Cheeger-Müller/Bismut-Zhang Theorem | Synapse