4.2.2 延变同构