就是假设我们有一个$b^{-1} (mod\ p^k)$,但是$b = k * p^x$,我们可不可以通过扩域,将$b$表达成$(\frac{b}{p^x})^{-1} * p^{-x}$.就是把一个数$x$写成$a * p^{-c}$这种形式.那么我们是否可以通过这种$a,c$的对应相等来断定两个数在$mod\ p^k$意义下相等

蒟蒻的奇思妙想,如果错了跪求大佬指正,求轻喷