He showed that the earlier definition was in fact equivalent to his.
彼は以前の定義が実は彼の定義と同値であることを示した。