Könnte das in etwa wie folgt gehen?
Sei a = qa * n + ra
und b = qb * n + rb
((qa * n + ra) * (qb * n + rb)) mod n = ((qa * n + ra) mod n) * ((qb * n + rb) mod n) mod n
((qa * n * qb * n + qa * n * rb + ra * qb * n + ra * rb) mod n = (ra) * (rb) mod n
((n * (qa * qb * n + qa * rb + ra * qb) + ra * rb) mod n = (ra) * (rb) mod n
(ra * rb) mod n = (ra) * (rb) mod n