Euclidean geometry

1. Proportionality theorem

2. Converse proportionality theorem

3. More proportionality theorem

4. Similarity theorem

5. Converse similarity theorem

6. More similarity theorem

7. Theorem of Pythagoras