# I’ve proved the conjecture about composition of reloids through atomic reloids

From a new version of preprint of my book:

Corollary 7.18
If $f$ and $g$ are composable reloids, then
$g \circ f = \bigsqcup \left\{ G \circ F \, | \, F \in \mathrm{atoms}\, f, G \in \mathrm{atoms}\, g \right\}$.