La deducción se basa en realizar promedios sobre el espacio de fase del sistema, que es una variedad simpléctica.