знаете ли вы, что метод от противного может использоваться не только для доказательства математических теорем, но и для прохождения логических головоломок, таких, как сапёр.