A new module: Pythagorean theorem!