showgan@tg says to YSITD
for (int i = 0; i < k; i++) if (!miillerTest(d, n)) return false; return true;