数論関数における同余方程式の深遠な応用