グロス＝コブリッツの公式
↑ (Young 1994) 整数 α のドワークシフト α' は、pα' − α ∈ {0, 1, ..., p − 1} を満たす唯一の整数