This was shown for smooth varieties by Deligne (1971),Deligne (1971a) and in general by Deligne (1974).
これはスムースな多様体に対しては Deligne (1971),Deligne (1971a) で示され、一般の場合は Deligne (1974) で示された。