In C, is it guaranteed that the array start address is smaller than the other elements' addresses?

In other word when doing

index = &array[x] - &array[0];

Is it always guaranteed (per C standard) that &array[0] <= &array[x], or is it dependent on the compiler? What are the C standard chapters relevant for this topic ?