They proved that the first two could not be the same , or even isomorphic systems of magnitude .
They had proven that the first two could not be the same , or even isomorphic systems of magnitude .