deletions | additions       diff --git a/subsection_A_B_Since_A__.tex b/subsection_A_B_Since_A__.tex  index ab24b21..7c20b20 100644  --- a/subsection_A_B_Since_A__.tex  +++ b/subsection_A_B_Since_A__.tex 
...
Since \(A = B + 1\) is the constraint, Domain \(D_A\) will be reduced to \{1, 2, 3, 4\} to be make (\(A, B)\) arc-consistent.  \(D_A = \{1, 2, 3, 4\}\)  \(D_B = \{0, 1, 2, 3, 4\}\)