Ahora, debemos probar que ambos sistemas son equivalentes.