Rosalia Oliva - Pythagorean theorem