Pythagoras'_theorem loading ...