"the sum of the currents into a junction equals the sum of the currents out of the junction" is a consequence of:

That's Kirchhoff's Current Law.  The net current is zero, after you've added all the inputs and outputs together.  Welcome to Electrical Engineering!