proof that a connected map is an equivalence on truncations