proving that weak equivs and quasi-inverses are equivalent