  In a recent paper, Park constructs certain exotic simply-connected
four-manifolds with small Euler characteristics. Our aim here is to prove that
the four-manifolds in his constructions are minimal.
