Как называется рассуждение, устанавливающее истинность какого-либо утверждения путем приведения рассуждений, истинность которых уже доказана?