Así, según la formulación de Lucas: