private static void TestDivisionStep(uint[] un, uint[] vn, uint[] q, uint[] u, uint[] v) {
int n = GetLength(v);
int shift = GetNormalizeShift(v[n - 1]);
BigInteger uni = new BigInteger(1, un);
BigInteger vni = new BigInteger(1, vn);
BigInteger qi = new BigInteger(1, q);
BigInteger ui = new BigInteger(1, u);
BigInteger expected = vni * qi + uni;
BigInteger usi = ui << shift;
Debug.Assert(expected == usi);
}