今天突然想起我好像一直没有去证扩展欧拉定理，然后看《阿凡达2》时顺手证了一下，刚才想写博客时突然感觉这更加像算法之类的，然后在简中搜的话都是 OI 的博客，到维基上完全没有搜到扩展欧拉定理