$\sqrt{2}\operatorname{kei}'x=-\operatorname{ker}_{1}x+\operatorname{kei}_{1}x.$