Conjecture If and are composable reloids, then
See Algebraic General Topology for definitions of used concepts.
In the same book there is a proof.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.