– berilgen $P:X\rightarrow Y$ operatorǵa (bunda $X$ hám $Y$ - normalastırılǵan keńislikler) hám berilgen $x\in X$ noqatqa sáykes keletuǵın, $P(x+h)-P(x)=P'(x)h+o(\|h\|)$ shártin qanaatlandıratuǵın $P'(x):X\rightarrow Y$ úzliksiz sızıqlı operatorı (qarań: GATO TUWÍNDÍSÍ).