theorem about necessary and sufficient conditions for two braids to have closures that are equivalent