It's worth noting that this proof implicitly uses the parallel axiom (since it assumes a Cartesian coordinate system). The linked proof is independent of that,

It's worth noting that this proof implicitly uses the parallel axiom (since it assumes a Cartesian coordinate system). The linked proof is independent of that, and applies to non-Euclidean geometries as well.