bezout theorem and modulo solving strategies