TODO

   1 Ctverecek na konci dukazu by mohl byt na konci odstavce.
   2
   3 Jaký typ PDFkových anotací produkuje hyperref? Někdy prohlížeče
   4 rámečky kolem odkazů neukazují, jindy ne, a například linuxové lp
   5 je pak vytiskne.
   6
   7 Pojmenované věty mají nepěknou tučnou tečku za netučným jménem.
   8 Za to ovšem může balíček amsthm a není jasné, jak mu v tom zabránit.
   9 Pomocí \newtheoremstyle sice jde předefinovat, jak se tečka sází,
  10 ale v tom okamžiku není dostupná informace o tom, zda věta má jméno.