4.4.2 自然同构