On the Kuratowski graph planarity criterion - A. Skopenkov (2008)