We prove the existence of the exact handle decomposition of a simply-connected smooth or PL 5-manifold with a standard simply-connected boundary of signature 0, the triviality of a 5-dimensional h-cobordism with ends of ...