Kirchhoff's laws for electrical circuit networks