File:Theorems on triangle.mm