SPAIN Pythagorean demonstration