Bird's Proof

Bird's Theorem is a theorem by Chris Bird that states that four elements in Array Notation is comparable to Chained Arrow Notation, while five elements far surpass it.