A beautiful highly detailed retrofuturistic (Imagine a Euclidean plane with a line l and a point P not on l. Assume the Hyperbolic axiom is false, which means that there is only one line through P that is parallel to l, let's call this line m. On line m, there are two points C and D, and on line l, there are points A, B, and F. The quadrilateral formed by the points A, B, C, and D, line m passes through points C and D, and the angle between line l and m at point C is 90 degrees and at point D is 90 degrees as well. Line PC and PD intersect line l at point A and B respectively. The angle formed between PC and PD is 180 degrees, which contradicts the PS2 Proposition that the sum of the angles of a quadrilateral is less than 360 degrees. Therefore, our assumption that the Hyperbolic axiom is false must be false, and the Hyperbolic axiom is true:1.3) by H.R.Giger and andree wallin, science fiction, dystopian, hard light, (centered composition:1.2), sci-fi, featured on artstation, artstationhq, 70mm photo, 4k, 8k, octane render, aesthetic, exciting, cinematic, moody | Sci-fi