Tubular Neighbourhood Theorem