No, I am substituting the equation back into itself. Please check if I was wrong.
Are you using standard division where the / is or are you using "multiplication by the modular inverse"
http://cs.brown.edu/courses/cs007/modmult/node2.htmlShould we be knowing what 'p' is or is this another arbitrary number like 'a'?
(basically all operations modulo some sumber p)