Věta

no , potom musíš přemýšlet . tak já to udělám , abysme to měli tady na tom konkrétním příkladě . devítka . tak , to je všechno , jestli se nepletu . a teď máš nekolik úvahovejch kroků . můžeš se třeba podivat ...: takovejch eee který sou už eee na vyšší úrovni , že nejsou takový jednoduchý , jako že se podiváš , ve čtverečku chybí jednička , aha , tak tam bude jednička . tak tohlencto je složitejší už . eee , jeden postup je třeba takovej . máš řádek nebo nějakou jinou množinu , třeba sloupeček nebo čtvereček , a vidíš eee , že tam chybí devítka . kromě jednoho . no , zjistíš , že nemůže bejt tady na tom místě , a odtud odvodíš , že devítka musí bejt někde tady . a to stejný uděláš pro ostatní čísla , že si určíš ne jednoznačný políčko , ale několik políček . a dyž potom dostaneš něco takovýho , že eee třeba to bylo ve čtverci , tak tam máš ty políčka a třeba ti chybělo jedna , dva , tři , čtyři , a zjistíš , že tady může bejt jedna , dva , tady může bejt jedna , dva a tady můžou bejt všechny , tak z toho se potom usoudí na to , že jednička , dvojka budou určitě v těhletěch eee čtverečcích eee , tak je můžeš vyškrtnout z těch ostatních . no , to je taková úvaha jedna .

Anotace

user lemma tag flag note
poukarova takový PDXP2---------6
komrskova takový PDXP2---------6
kopriva takový PDXP2----------
lukes takový PDXP2---------6

Věta

no , tohle už je takovejch čtrnáct dní .

Anotace

user lemma tag flag note
poukarova takový PDXP2---------6
komrskova takový PDXP2----------
kopriva takový PDXP2---------6
lukes takový PDXP2----------