metoda nepřímého důkazu

• метод доказательства от противного