大佬们有一个问题，就是为什么要有逆元这个东西，a / b同余与a * b^-1(mod p), a除不尽b吗，不应该是一定可以除尽的吗（只是感觉，帮忙证一下），如果这样为什么还要求出b的逆元再与a相乘，直接a/b不就可以了吗？