直接利用吸收律，将第2个a分解，得：

a｀a＝a｀［a＊（a｀b）］；

把小括号中的式子看做一个整体，比如令：c＝a｀b，则有：

a｀a＝a｀［a＊（a｀b）］＝a｀［a＊c］；

再次利用吸收律，即可得：

a｀a＝a｀［a＊c］＝a；

同理，可证：

a＊a＝a；