写像dが "i""x"2上0に制限する(読者はこれを確かめよ)からdは "i""x" / "i""x"2から接空間の双対("t""x""m")*への写像を誘導する。