File:Basics of euclidean geometry.mm