Pythagorean Theorem - Proof of Annairizi of Arabia Set