Dôkaz prvok nepatrí do poľa

Ahoj Michalo, šel bych na to asi přes důkaz sporem.

Zkus předpokládat, že tam prvek patří a tak s ním počítej. Potom při výpočtu zjistíš, že nastane nějaký problém a dojde k logickému sporu. Onen spor pak bude důkaz, že tam prvek patřit nemůže, protože by se porušila definice tvého pole.

Toto je moje riešenie, myslíte , že je správne? Pridám ho ako screeny.

Ahoj Michalo, dokážeš sem nahrát tvůj soubor jako PDF přímo, abychom ho mohli lépe vidět?

Děkuji.

Jasné, tento príklad sa nachádza v druhej časti.