Why is your example SAS triangles and not something like the modularity theorem?
Because SAS triangle identity proofs are relatable and I'm trying to make a point...?
Because SAS triangle identity proofs are relatable and I'm trying to make a point...?