выводимый путём заключения