per il modulo si scusa è stato un'errore di distrazione. Mi interessava che il procedimento fosse giusto . In questo modo se ho un sistema di congruenze me le "semplifico" in questo modo e poi posso risolvere "eguagliandole" facendo un procedimento di questo tipo:
${(x-=a+nk),(x-=b+nh):}rarra +nk=b+nh$ etc...