Каждая ячейка (x, y) показывает сколько простых чисел дают остаток x при делении на A и остаток y при делении на B. Пустые ячейки — математически запрещены.

Это следствие того, что простые числа взаимно просты с любым числом, не делящим их. Если gcd(x, A) > 1, то остаток x при делении на A может встретиться только у самого простого делителя A — все остальные простые в эту колонку никогда не попадают.