  In this paper we show that the proximity inductive dimension defined by
Isbell agrees with the Brouwer dimension originally described by Brouwer on the
class of compact Hausdorff spaces. Consequently, Fedorchuk's example of a
compact Hausdorff space whose Brouwer dimension exceeds its Lebesgue covering
dimension is an example of a space whose proximity inductive dimension exceeds
its proximity dimension as defined by Smirnov.
