What geometry theorem is being shown in action below? (Feel free to move the gray points anywhere you'd like!)