prove that pointers point at first elements in arrays