((b0 - b1) % x0 ) = 0
((b0 - b1) % x0 ) = 0