[FIX] use standard \dim
make \Ker into an operator name
use proper indices during the definition phase
[FIX] correct misspelling of invertable
introduce the W-structure lemma
sharpen periodicity: from the start