Elementary maps

Proposition 6.1.3 says, among other things, that isomorphic structures are elementarily equivalent. We prove first that the converse is true if and only if the structures under consideration are finite.