Borde–Guth–Vilenkin theorem (source code)

= Borde–Guth–Vilenkin theorem
{wiki=Borde–Guth–Vilenkin_theorem}