Tag the Pythagorean theorem