proof of pythagorean theorem activity stl 3d models