kubas pisze:
(banita licze na ciebie)
zebym to ja pamietal...
Jak bede mial torche mniej zawalona glowe, to jeszcze pomysle, ale z tego co pamietam dowod formalny polegal na podstawianiu zbioru elementow (np. ciagu)
1. Pod kazdy z aksjomatow podstawiasz sobie ciag
Pod A : {P1...Pn}
pod B : {P1...Pn+1}
pod C : {P1...Pn+2}
Mamy prawa strone:
AuBuC :{P1...Pn+2}
Lewa rozbita:
(B\A):{Pn+1}
Au(B\A):{P1...Pn+1}
AuB:{P1...Pn+1}
C\(AuB):{Pn+2}
Au(B\A)u[C\(AuB)]:{P1...Pn+2}
L=P
Byc moze wypisalem bzdury, nie pamietam jak to bylo...
jakby sie komus nudzilo to mam jeszcze duzo zadan do rozwiazania 
