A well-known type of brain teaser invites the reader to count the number of triangles formed by dividing up a larger triangle using straight lines. In the example above, it appears that the answer is 16. But how do we know that we haven’t missed any?