Когда ты предполагаешь, что это условие выполняется.
kogda predpolagaetsia,chto to,chto nado dokazat' na samom dele ne proishodit( ne imeet mesto). Togda dolzhno poluchitsia protivorechie,iz kotorogo sleduet,chto predpolozhenie,kotoroe neobhodimo dokazat'-vernoe.
