((a*b) mod (2^n)) / b == a