Kernel extension theorem