nontrivial solution的用法与搭配