(8)  K  l o c   ( s  * 1    , s  * 2     )  = s  * 1   T   s  * 2    ,  K  l i g   ( l  * 1    , l  * 2     )  = l  * 1   T   l  * 2