As Janák & Skula (1978) showed, the number of solutions for any k is finite, so it makes sense to count the total number of solutions for each k.
Как показали Янак и Скула, число решений для любого k конечно, так что имеет смысл посчитать общее число решений для каждого k.