Предикат P(x,y), определенный на декартовом квадрате множества целых чисел, истинен тогда и только тогда, когда y-x делится на 5 без остатка. Укажите верное утверждение.