All main keys and all auxiliary keys are different, i.e. ki != kj and ai != aj for each i != j.
:)

> 3
> 0 5
> 1 3
> 2 3