Options

Proof for [i] and [n] equivalence?