Borde–Guth–Vilenkin_theorem loading ...