Pythagorean_theorem loading ...