  We prove the existence of a countable family of globally regular solutions of
spherically symmetric Einstein-Klein-Gordon equations. These solutions, known
as mini-boson stars, were discovered numerically many years ago.
