This arc length must be greater than the straight-line distance between the same two centers, so the two circles have centers closer together than the difference of their radii, from which the theorem follows.