Which of the following is a valid property for concurrency?

• A. a = b (mod n) if n|(a-b)
• B. a = b (mod n) implies b = a (mod n)
• C. a = b (mod n) and b = c (mod n) implies a = c (mod n)
• D. All of the mentioned