Theorem stronger_postulates_ter : stronger (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) (legendre_s_parallel_postulate:: bachmann_s_lotschnittaxiom:: weak_inverse_projection_postulate:: weak_tarski_s_parallel_postulate:: weak_triangle_circumscription_principle:: nil).