Tubular neighbourhood theorem