один из методов доказательства математических утверждений. Этот метод впервые появляется у Паскаля.