Borde–Guth–Vilenkin theorem