Rolle theorem

Lagrange mean value theorem

Taylor mean value theorem

Axiom 1: If two points on a straight line are in a plane, then all points on this straight line are in this plane.

Axiom 2: If two planes have a common point, then they have only one common straight line passing through this point.

Axiom 3: Through three points that are not on the same straight line, there is one and only one plane.

① Two lines parallel to the same line are parallel (parallel axiom).

② The straight line is parallel to the plane, and the intersection line between the plane passing through this straight line and the original plane is parallel to this straight line;

③ The two planes are parallel, and the two intersecting lines cut from the third plane are parallel to each other;

④ Two straight lines perpendicular to the same plane are parallel.

① The included angle is perpendicular to two straight lines at right angles;

② If a straight line is vertical, it is perpendicular to any straight line in this plane;

③ Three Vertical Theorems and Inverse Theorems.

Projective theorem and so on