Conditions for use of a non-selfintersection conjecture

Volino and Thalmann have published a conjecture proposing sufficient conditions for non-selfintersection of surfaces. Such conditions may be used in solid modeling, computer graphics, and other application areas, as a basis for collision-detection algorithms. In this paper we clarify certain of the hypotheses of the proposed theorem, and give a proof. A brief summary of possible pitfalls related to using the conditions, when the hypotheses of the formal theorem given here are not satisfied, is also given. We also give examples, and show that the theorem can be extended to domains that are not simply connected.