Tag: Define Pythagorean identities