[kisoron-ml] Deligne's completeness theorem