File:Construction of triangle.mm