Tube lemma (source code)

= Tube lemma
{wiki=Tube_lemma}