Vajag pīruodeit, ka itei operaceja ir labi defināta, kas atsatīc ar sekvencem, kas īt leidza Koši sekvencem.