Y de ahí que la variación del tiempo propio se defina simplemente como: