According to the theorem, it says:

If and , Then where

Does this mean where mb=divisor*quotient and nc=remainder?

Or does it mean , where divides the whole thing?

Say if I have and , I could say this is: where , is this right?

But if I do it the "long way" to get these:

Here, the is the remainder, right? Sometimes it is hard to see if that it is part of the remainder or the quotient*divisor.

From , I convert to:

Here, I don't see similar to ... Am I not using the theorems correctly?