Prostý algoritmus udílení barev polím politické mapy „2009“
Vzorový příklad uplatnění Prostého algoritmu udílení barev polím politické mapy „2009“
Důkaz, že důkaz není důkaz
Dodatek k důkazu
Minimální důkaz teorému o čtyřech barvách 2016