Sorry, the required document http://astra.karlin.mff.cuni.cz/katedry/kdm/diplomky/moravecdp/dukazy.php is not accessible.