La generalización formal del teorema Π para el caso de muchas cantidades arbitrarias fue probado por primera vez por A.