Pythagorean Theorem Proof of Leonardo in euclidean context