tie hranate som tam dal len aby sa zvyraznilo to scitanie, ze to je funkcia (inac by som dal napr T(+(x1, x2)), ale to je jedno, aj keby si ich tam nedal, podla mna ok)
ten kvantifikator nam vravel cviciaci
ze ked neni povedane explicitne, mam sa na to pozriet a dat podla toho, ako to plati
kedze toto plati pre kazde take cislo co je delitelne troma, dal som vseobecny
opat, ruku do ohna za to nedam, ale ja by somho tam dal