Borde-Guth-Vilenkin theorem