ここに "x" は零切断として "e" に含まれる、は写像