Theorem stronger_postulates_bis : stronger (alternate_interior_angles_postulate:: alternative_playfair_s_postulate:: consecutive_interior_angles_postulate:: midpoint_converse_postulate:: perpendicular_transversal_postulate:: playfair_s_postulate:: universal_posidonius_postulate:: postulate_of_parallelism_of_perpendicular_transversals:: postulate_of_transitivity_of_parallelism:: nil) (existential_thales_postulate:: posidonius_postulate:: postulate_of_existence_of_a_right_lambert_quadrilateral:: postulate_of_existence_of_a_right_saccheri_quadrilateral:: postulate_of_existence_of_a_triangle_whose_angles_sum_to_two_rights:: postulate_of_existence_of_similar_triangles:: postulate_of_right_lambert_quadrilaterals:: postulate_of_right_saccheri_quadrilaterals:: thales_postulate:: thales_converse_postulate:: triangle_postulate:: nil).