(p-k) \cdot k^{-1} = p \cdot k^{-1} - k \cdot k^{-1} =_{p} -1