ona zadal 4 teoreticke ulohy a kazda bola z inej casti cize taka situacia nenastane, dalej odporucam si pozriet pre pocitanie prikladov na separaciu klauzul aj ine teorie ako teoriu rovnosti, minimalne teoriu grup a pribuzenstva, teda naucit sa ich axiomi