You want to say |K| · |L|, don't you? But if K and L are both {a, aa} then KL = {aa, aaa, aaaa} with three elements not four, because aaa is generated in two ways not one. All you can say is that |KL| ≤ |K| · |L|.