Naive make array relation and existence theorem
Prove naive make array 1 preserves braunness
Proof of make_array_naive1 running time