Simplify the following text for a Grade 12 native English-speaking person.
Original: Models have been constructed within Euclidean geometry that obey the axioms of hyperbolic geometry , thus proving that the parallel postulate is independent of the other postulates of Euclid .
Simplified: Models have been constructed within Euclidean geometry that obey the axioms of hyperbolic geometry . These models prove that the parallel postulate is independent of the other postulates of Euclid .