File:2. Basics of Euclidean geometry.mm