  We prove an analog of Belyi's theorem for the algebraic surfaces. Namely, any
non-singular algebraic surface can be defined over a number field if and only
it covers the complex projective plane with ramification at three knotted
two-dimensional spheres.
