Can anyone give me a brief explanation on the proof of the Miller-Rabin algorithm because I´m not getting the full idea, and the book doesn´t seem to be very explanatory.
I understand pretty well the idea of pseudo-prime numbers and when to decide if a number is composite for sure, but that algorithm is not so clear to me.

I hope my question is not too vague...

thank you.