hej, to mas podobne jak v hudakovych skriptach, ze... dokaz uzavretosti triedy M a L sa dokaze anaogicky ak opre triedu S... tak presne tu vetu mu napisem aj na skuske... dpc neuvedie dokaz a ho mam z jakej **** vytiahnut??? alebo dokaz pre jeho rozsiahlost nebudeme ovadzat, vychadza vsak z dokazu o funkcionalnej uplnosti... tak dokaz funkcionalnej uplnosti sice viem, bo som sa ho nabiflil z tych skript ale to neznamena ze podla neviem coho si mam z toho dokazu odvodit dajaky iny...
mne sa zda, ze ani ti ukrajinsky machri to nemali vo svojich knihach dokazane, takze preto to nieje ani v TI skriptach "skopirovany"...