Doplnit důkaz Cayleyho skrz PoVyKoSy #4
Description
PoVyKoSy - speciální orientované stromy, tak že ex u: deg_out(u) = 0 a pro vsechna v z V{u} je deg_out(v) = 1. V dukazu MJ ukazal vztah mezi poctem stromu na n vrcholech a poctem techto stromu a pak tyhle stromy spocital