Доказательство_от_противного loading ...