Grassi, Ernesto: 1 tétel