Появление этой достаточно специальной темы из области теорий первого порядка с равенством было связано с дискуссиями по вопросу о выразимости операции умножения в системах Q+ (R+).

См. эти дискуссии на форуме dxdy: http://dxdy.ru/topic16277-45.html.

Системы Q+ (R+) являются естественными родственными системами для развиваемой мною "алгебры прямоугольников".

Доказательство опущено. Необходимое пояснение: