Зачем нужно данное условие?

Дан код функции

int strindex(char s[], char t[]) {
	int i, j, k, pos;
	pos = -1;
	i = j = k = 0;

	for (i = 0; s[i] != '\0'; i++) {
		for (j = i, k = 0; t[k] != '\0' && t[k] == s[j]; k++, j++)
			;
		if (k > 0 && t[k] == '\0')
			pos = i;
	}
	
	return pos;
}

Это функция берет две строки s и t и ищет самое правое вхождение строки t в s.
Собственно, вопрос заключается в том, зачем нужно данное условие

if (k > 0 && t[k] == '\0')
	pos = i;

Если t[k] == '\0', то это же изначально подразумевает то, что k > 0.