Xxxxxx xxxx:
Xxxxxxxxxx x xxxxxx xx xxxxxxxx xxxxxxxxxxx xxxxxxxx (xxx xxxxxxxx xxxxxxx xxxxxxxx xxxxx x xxxxxxxxxxxx xxxxxxxx), xxxxxxx xxxxx xxxx xxxxxxxxx xxxxxx, x xxxxx xxxx xxxxxxxxxx seznatelné, co xx být xxxxxxxxx xxxxxx xx xxxx xxxx, xxxxxx do xxxxxxxxx xxxxx.
Xxxxxx věta xxxx publikována xxx xxxxxxxxxx.