[see also: extend
Corollary 2 generalizes and strengthens Theorem 3 of [9]. This approach does not seem to generalize to arbitrary substructures.
It is not clear to what extent this can be generalized to other varieties of loops.