یکی باید ثابت نماید که این عملیه خوب تعریف شده است، و با ترتیبات کو-کوچی سروکار دارد.