zamiana stwierdzenia na wzór matematyczny Robert: Jak matematycznie zapisać stwierdzenie dla każdego i, j (0 ≤ i < j <n) jeżeli x_i = x_j to x_i = x_i+1 = ... = x_j

fx: ∀ i, j (0 ≤ i < j <n), (xi = xj) : xi = xi+1 = ... = xj

Basia: ∀ [ x_i=x_j ⇒ x_i = x_i+1 = ... = x_j ] 0≤i<j<n