x[y]
определяется как *(x + (y))
x[y][z]
станет *(*(x + (y)) + z)
x[y[z]]
станет *(x + (*(y + (z))))
x[4][3]
станет *(*(x + (4)) + 3)
станет *(*(x + 4) + 3)
3[x[4]]
станет *(3 + (*(x + (4))))
станет *(*(x + 4) + 3)
3[4[x]]
станет *(3 + (*(4 + (x))))
станет *(*(x + 4) + 3)
Это означает, что все они эквивалентны.