to je asi dokaz sporom ze?
negacia je: pocet javov je prvocislo a existuju 2 netrivialne javy ktore su nezavisle.
preco je potom
nas predpoklad ? uplne tomu nerozumiem
edit: aha takze uvazujeme dva javy nezavisle netrivialne to ze su nezavisle hovori
a z toho mam dojst k druhemu vyrazu, ale preco s toho plynie ze su netrivialne
Offline