Question
If we have `c * 1 + b * alpha = 0` in F, which
alternative is true:
A) Then both c = 0 and b = 0 in `ZZ_p`.
B) Then at least one of c or b is not equal to 0
?