Original: Geometry that is independent of Euclid's fifth postulate (i.e., only assumes the first four postulates) is known as absolute geometry (or, in other places known as neutral geometry).
Simplified: This proved that Euclids fifth postulate was independent of the other postulates.