Add corollary that I_L = I_R -> I_L = I_R = I.