File:Circles constructions.mm