So, the two red triangles are not congruent; nor are the two dark green triangles. Sleazy. Euclid can rest in peace. Thanks to Andre Routh for this explanation. The paradox is originally due to Paul ...