Unfortunately it seems their proof already had the Pythagorean Theorem embedded within its implicit assumptions - they define measure of an angle through rotation of a circle. They don't explicitly define circle, but from their diagram they hint at the "understood" definition, namely a set of points equidistance from a central point, while using Euclidean distance as the metric.
