The Levi-Civita uniqueness theorem presupposes metricity and torsion-freeness, but these are stipula...