4.2.1 自同构性