That is Wilson's Theorem actually. - see here -

To show the inverses are 'paired' show that defined by: is injective and that can't happen. Then for each number 2 ... p-2 you will have a unique inverse there - different from itself-, which will be the inverse of that number and no other.