Нужно доказать, что если взять 4 элемента x,x',y',y в С, такие что xy, xy',x'y \neq 0, то x'y' \neq 0.

Кажется это можно сделать если работать с нейтральными элементами.

Множество \Neu(C) тут это множество объектов получается.