rdb_deva guestВ том, на чём тебя заело, не написано про эквивалентность элемента массива указателю.тогда поясни, что, по-твоему, там написано.Там написано, что выражение E1[E2] эквивалентно (по определению) выражению *((E1)+(E2)). (За некоторыми исключениями, которые потерялись.)
Тебе не ясно, что значит "эквивалентно по определению"?

Предлагаю всем великим знатокам грамматики пройти и посмотреть, как сейчас выглядит http://eel.is/c draft/expr.add#4 :

When an expression J that has integral type is added to or subtracted from an expression P of pointer type, the result has the type of P.
— If P evaluates to a null pointer value and J evaluates to 0, the result is a null pointer value.
— Otherwise, if P points to element x[i] of an array object x with n elements,82 the expressions P + J and J + P (where J has the value j) point to the (possibly-hypothetical) element x[i+j] if 0≤i+j≤n and the expression P - J points to the (possibly-hypothetical) element x[i−j] if 0≤i−j≤n.
— Otherwise, the behavior is undefined.

По-прежнему будете бредить, что последний "Otherwise" относится только к "if 0≤i−j≤n", а не обоим предыдущим пунктам?