归约。上题的图灵归约关系为：然而，若我们增加条件：「此运算只能使用平方一次，且只能在结尾使用」，则更难寻找合适归约。在这条件下，即使我们使用所有基础运算，包括乘法，也找不到适当的归约步骤。因为我们不仅要运算有理数，也必须运算像是formula_5的无理数。而另一方向的归约，我们的确可用一次乘法简单地平方任何数，且此乘法的确是最后的运算。将此限制形式导入归约中，我们已展示其归约结论：普遍来说，乘法的确难于平方。此归约称为多一归约。上题的多一归约关系为：
定义.给予两个自然数N的子