File:2 Basics of Euclidean geometry.mm