Verifica analitica del teorema di Eulero