Now consider the imaginary loop "c" that is located inside the solenoid. By Ampère's law, we know that the line integral of B (the magnetic flux density vector) around this loop is zero, since it encloses no electrical currents (it can be also assumed that the circuital electric field passing through the loop is constant under such conditions: a constant or constantly changing current through the solenoid). We have shown above that the field is pointing upwards inside the solenoid, so the horizontal portions of loop "c" do not contribute anything to the integral. Thus the integral of the up side 1 is equal to the integral of the down side 2. Since we can arbitrarily change the dimensions of the loop and get the same result, the only physical explanation is that the integrands are actually equal, that is, the magnetic field inside the solenoid is radially uniform. Note, though, that nothing prohibits it from varying longitudinally, which in fact, it does.