The first element of the array.
Precondition: empty == false
Complexity: O(1)
Exception if the array is empty.
See Implementation