Theorem 2: Triangles