рд░рд┐рдЕрд▓ рдЗрд╕реНрдЯреЗрдЯ, рдлрд░реНрдирд┐рдЪрд░, рдХрдиреНрд╕реЛрд░реНрдЯрд┐рдпрдо рдХрд┐рдВрд╡рд╛ рдЗрд▓реЗрдХреНрдЯреНрд░реЙрдирд┐рдХреНрд╕ рдЕрд╕реЛ, рд╡рд┐рддреНрддрдкреБрд░рд╡рдард╛ рдХрд┐рдВрд╡рд╛ рдорд╛рд▓рдорддреНрддреЗрдЪреЗ рд╣рдкреНрддреЗ рд╣рд╕реНрддрд╛рдВрддрд░рд┐рдд рдХрд░реВ рдкрд╛рд╣рдгрд╛рд▒реНрдпрд╛рдВрд╕рд╛рдареА рдЧреГрд╣рд┐рдд рдзрд░рд╛ рд╣реЗ рдирд┐рд╢реНрдЪрд┐рдд рд╡реНрдпрд╛рд╕рдкреАрда рдЖрд╣реЗ. рдПрдХрд╛ рдирд╛рд╡рд┐рдиреНрдпрдкреВрд░реНрдг рдкрдзреНрджрддреАрдиреЗ, рдЖрдореНрд╣реА рдорд╛рд▓рдХрд╛рдВрдирд╛ рдЬреЛрдбрддреЛ рдЬреЗ рддреНрдпрд╛рдВрдЪреНрдпрд╛ рдЖрд░реНрдерд┐рдХ рдЬрдмрд╛рдмрджрд╛рд▒реНрдпрд╛ рдЧреГрд╣реАрдд рдзрд░рдгреНрдпрд╛рдд рд╕реНрд╡рд╛рд░рд╕реНрдп рдЕрд╕рд▓реЗрд▓реНрдпрд╛ рд╡реНрдпрдХреНрддреАрдВрдХрдбреЗ рд╣рд╕реНрддрд╛рдВрддрд░рд┐рдд рдХрд░реВ рдЗрдЪреНрдЫрд┐рддрд╛рдд, рджреЛрдиреНрд╣реА рдкрдХреНрд╖рд╛рдВрд╕рд╛рдареА рдПрдХ рд╕реЛрдкрд╛ рдЖрдгрд┐ рдкреНрд░рднрд╛рд╡реА рдЙрдкрд╛рдп рдкреНрд░рджрд╛рди рдХрд░рддреЛ.
рдкреНрд▓реЕрдЯрдлреЙрд░реНрдордЪреА рдореБрдЦреНрдп рд╡реИрд╢рд┐рд╖реНрдЯреНрдпреЗ:
рд╕реБрд░рдХреНрд╖рд┐рдд рд╕рдВрдкреНрд░реЗрд╖рдг: рдЖрдореНрд╣реА рдорд╛рд▓рдХ рдЖрдгрд┐ рд╕реНрд╡рд╛рд░рд╕реНрдп рдЕрд╕рд▓реЗрд▓реНрдпрд╛ рдкрдХреНрд╖рд╛рдВрдордзреНрдпреЗ рд╕реБрд░рдХреНрд╖рд┐рдд рдЖрдгрд┐ рд╕реБрд░рдХреНрд╖рд┐рдд рдорд╛рд░реНрдЧрд╛рдиреЗ рд╕рдВрдкреНрд░реЗрд╖рдг рд╕реБрд▓рдн рдХрд░рддреЛ, рд╡рд╛рдЯрд╛рдШрд╛рдЯреАрдВрд╕рд╛рдареА рдЖрдгрд┐ рд╢рдВрдХрд╛рдВрдЪреЗ рд╕реНрдкрд╖реНрдЯреАрдХрд░рдг рджреЗрдгреНрдпрд╛рд╕рд╛рдареА рд╡рд┐рд╢реНрд╡рд╕рдиреАрдп рд╡рд╛рддрд╛рд╡рд░рдг рдкреНрд░рджрд╛рди рдХрд░рддреЛ.
рдереЗрдЯ рд╡рд╛рдЯрд╛рдШрд╛рдЯреА: рд╡рд╛рдкрд░рдХрд░реНрддрд╛ рдорд╛рд▓рдорддреНрддреЗрдЪреА рд╡рд╛рдЯрд╛рдШрд╛рдЯреА рдХрд░рдгреНрдпрд╛рд╕рд╛рдареА рдЖрдгрд┐ рд╣рд╕реНрддрд╛рдВрддрд░рдгрд╛рд╕рд╛рдареА рдереЗрдЯ рдЬрд╛рд╣рд┐рд░рд╛рддрджрд╛рд░рд╛рд╢реА рдХрдиреЗрдХреНрдЯ рд╣реЛрдИрд▓.
рдЧреНрд░рд╛рд╣рдХ рд╕рдорд░реНрдерди: рдЬрд╛рд╣рд┐рд░рд╛рдд рддрдпрд╛рд░ рдХрд░рдгреНрдпрд╛рдкрд╛рд╕реВрди рддреЗ рд╣рд╕реНрддрд╛рдВрддрд░рдг рдкреВрд░реНрдг рдХрд░рдгреНрдпрд╛рдкрд░реНрдпрдВрдд рдкреНрд░рддреНрдпреЗрдХ рдЯрдкреНрдкреНрдпрд╛рд╡рд░ рд╡рд╛рдкрд░рдХрд░реНрддреНрдпрд╛рдВрдирд╛ рдорджрдд рдХрд░рдгреНрдпрд╛рд╕рд╛рдареА рдЖрдордЪреА рд╕рдкреЛрд░реНрдЯ рдЯреАрдо рдиреЗрд╣рдореАрдЪ рдЙрдкрд▓рдмреНрдз рдЕрд╕рддреЗ.
Assume A├н рд╕рд╣, рдЖрдореНрд╣реА рд╡рд┐рддреНрддрдкреБрд░рд╡рдард╛ рдЖрдгрд┐ рд╣рдкреНрддреЗ рд╣рд╕реНрддрд╛рдВрддрд░рд┐рдд рдХрд░рдгреНрдпрд╛рдЪреНрдпрд╛ рдкреНрд░рдХреНрд░рд┐рдпреЗрд▓рд╛ рдПрдХ рдЬрдЯрд┐рд▓ рдЖрдгрд┐ рдкреНрд░рд╡реЗрд╢рдЬреЛрдЧреА рдЕрдиреБрднрд╡ рдмрдирд╡рддреЛ, рдорд╛рд▓рдХ рдЖрдгрд┐ рдХрд░реНрдЬрджрд╛рд░рд╛рдВрдирд╛ рдХрд╛рд░реНрдпрдХреНрд╖рдорддреЗрдиреЗ рдЖрдгрд┐ рд╕реБрд░рдХреНрд╖рд┐рддрдкрдгреЗ рдЬреЛрдбрддреЛ. Assume there рд╕рд╣ рдЖрдЬрдЪ рддреБрдордЪреЗ рдЖрд░реНрдерд┐рдХ рдЬреАрд╡рди рд╕реЛрдкреЗ рдХрд░рд╛!тАЭ
рдпрд╛ рд░реЛрдЬреА рдЕрдкрдбреЗрдЯ рдХреЗрд▓реЗ
реирез рдорд╛рд░реНрдЪ, реирежреирек