有虞氏算式是中国古代的一种求解线性同余方程的方法，可表示为ax≡b(mod m)。如果余数是7，除数最小应该是m和a的最大公约数的约数中比7大的最小素数。例如，如果a=3，b=7，那么m应该是13，因为13是3和26的最大公约数。