When J is I plus one, K can only be I. That is the only way to derive a string of length two in a CNF grammar is to use a production where one unit is replaced by two and each of these variables derives one terminal. 