  A prequantization bundle is a negative circle bundle over a symplectic
surface together with a contact form induced by a S1-invariant connection.
Given a symplectically aspherical symplectic filling of a prequantization
bundle satisfying certain topological conditions, suppose that a version of
symplectic capacity of the symplectic filling is finite. Then, we show that the
symplectic filling is diffeomorphic to the associated disk bundle.
