* ``` $c = (2,3) (2 3) > $c Z+ (1,3) (3) ```