摘要

证明任何BL-代数均为S-代数。