Therefore the supporting argument proves only that no finite model is term-equivalent to the integer...