从论点导出的解决方案