for i being Element of I holds (I --> L) . i is antisymmetric ;
hence product (I --> L) is antisymmetric by WAYBEL_3:30; :: thesis: verum