azt nem tudom mit értesz helyes alatt ( lehet pl egy kislány is :) ) de matematikailag be van (tehát axiómákból le van vezetve a kernel megfelelősége)