Věta
buď
tam
Anotace
user
lemma
tag
flag
note
doischer
buď
J^-------------
janouskova
být
Vi-S---2--A----