<<- -^- ->> Důkaz sporem

---