(public-speech import sentinel)

The set of "k"-derivations from "A" to "M", is a module over "k".