Theorems about triangles and circles