Borde-Guth-Vilenkin_theorem loading ...