floor((a*b mod 2^k)/a)=(a*b mod 2^k)/a for a > 0 and b > 0 and k >= 0

• Natural Language
• Math Input