A Decomposition of Smooth Simply-connected h-Cobordant 4-Manifolds

We prove that any two smooth h-cobordant simply-connected 4-manifolds can be obtained by taking two manifolds with boundary, one of which is contractible, and gluing them along the boundary via two different attaching maps.