Borsuk–Ulam theorem (source code)

= Borsuk–Ulam theorem
{wiki=Borsuk–Ulam_theorem}