1° teorema di Euclide + Pitagora