Proof is trivial! It's as easy as extending with a simplicial Sylow subgroup which admits equivalence classes of hyperbolic cochain complexes (Hint: consider the fundamental theorem of arbitrage-free pricing)