Изменения

<tex> push: </tex>

<tex>pre: element != null </tex>

<tex>post: size == size' + 1 _ and _ elements[size'] == element</tex>

<tex>void _ push(Object _ element)</tex>