All K3 surfaces are diffeomorphic, and their diffeomorphism class is an important example of a smooth spin simply connected 4-manifold. Все K3 поверхности диффеоморфны и их класс диффеоморфизма является важным примером односвязного гладкого 4-многообразия со спин-структурой.