任意の整数 "k" ≥ 0と "l" ≥ 2に対して、