reconsider k = id L as directed-sups-preserving kernel Function of L,L ;
take k ; :: thesis: ( k is directed-sups-preserving & k is kernel )
thus ( k is directed-sups-preserving & k is kernel ) ; :: thesis: verum