Proving theorems about triangles