T.IE.2.a.ii: Pythagorean identities;