と閉部分スキームに対し次の組