lazy reduction without reduction
lazy reductions done
coprime q done