Relation x + y est divisible par 3