Basta probar que S y T tienen el mismo costo para que el algortimo quede justificado.