Trap Networks

You fill a much-needed gap.

$where {p,q} are prime, n = pq, ed is congruent to 1 mod ((p-1)(q-1)), C = M^e(mod n), M = C^d(mod n)$