Prove that insertions into arrays are faster than insertions into linked-lists