这是为《A Computational Introduction to Number Theory and Algebra （Version 2）》（资源）中某些和ACM用数论有关的习题写的证明。还没看完，好难QAQ EXERCISE...