Обратите внимание, что '%' - это оператор остатка, '&' - это побитовый оператор AND, а k - целое число больше 0.
Пример:
33%16=1 equivalent to 33&(16-1)=1
Я обнаружил этот эквивалент в JDK1.8 ThreadLocalMap. Я знаю, что это правильно, но не знаю, как доказать, что это правильно. Буду признателен, если вы окажете помощь.