∑
Kirchhoff's Laws
Currents into a node equal currents out; voltages round a loop sum to zero.
First law (current)
The sum of currents entering a junction equals the sum leaving. This is the principle an RCD uses: it compares line and neutral currents.
Second law (voltage)
Around any closed loop, the sum of EMFs equals the sum of voltage drops.