We prove that a Frechet space
E with a Schauder basis is nuclear if and only if every bounded subset of E is
contained in a bounded Choquet simplex. We then show how this theorem relates to
the basis problem for nuclear Frechet spaces and to the classical Banach-Dieudonné
theorem.