根本就没有翻译出乘号小于等于 $15$ 个这一性质啊。和正解息息相关的。