It follows by substituting (2.10) into the general formula
where denotes the probability of an interval
being free of eigenvalues in the ensemble (2.9), that
Since in the case b=1 (2.9) is precisely the eigenvalue
probability density function of the GUE with an eigenvalue fixed at the
origin, the result (2.4) follows.