ЕсжйД - Г . ^о (2?) проверяется тривиадьйО. Пусть у4/Г, Тогда

f CA, ОСЯМ ß^F,

AQ ( ßCh ( ß QA -j^ fca^ffßj^^ если B'^F,

( F-CA = CA, если ß=^F

AOß - AoC - ßA (:Л'усА(ОАГТвАЧСвУвА^ воли B^F Таким образом, аксиома A4 имеет место. Проверим первое тождество из Â5:

F - fF - CJ^F - C^C . Если 4^/^, то A-(A~CJ-A- (СА^Та - f a/î '0^/î • A~Ya - iTrr^ " 'f 7^/1 - - CA'^A^C,

так какгД^у1^=А для любого А .

Остается провег'1ТЬ второе тождество из А5. Введем обозна чения:

P2^fA - ßj - fA - ßJOf3 - Ay { DC . Возмомаы три сггучая:

1 ) А-/" , wvmß^F .

2 } ß-F f 1лгда A~^F .

5 ) A^F ^(UF (и, кроме тогоИ^^)- "^^ первом случае л..г.со проверяется, что

я во втором

Для третьего случая находим:

Pi -a-{CB~Yb^[(cb ')^öa Ya . (га)

Найдем теперь в :

/ ^^ - {A-B)-C(ß~A)'^fA-ß). Вччйслйм отдельно

Г - Го А) ^(А-В)

с nOMi»ï "^ '