Гипотетическое предположение в начале доказательства. — 9 букв