1：若formula_2是整数，formula_3，否则为formula_4，其中formula_5是最大而又不大于formula_2的整数。对于非零整数formula_7，戴德金和formula_8定义为 formula_9若formula_7互质且均大于0，有formula_11