微分同相であるびぶんどうそうである<び'ぶん･どう'そう>　で　ある

diffeomorph sein