(9)  K  l o c - l i g   ( s  * 1    , l  * 1    ; s  * 2    , l  * 2     )  = K  l o c   ( s  * 1    , s  * 2     )  K  l i g   ( l  * 1    , l  * 2     )