lean_workbook_plus_70557

Prove by induction that for any positive integer n, the following property holds: $(a_1, ...,a_{n})= (b_1, ...,b_{n}) \Leftrightarrow a_{i}= b_{i}$ for each $i$ , $1 \leq i \leq n$. The ordered pair is defined as $(a, b)= \{{a}, \{a, b\} \}$ and the (k+1) tuple is defined as $(a_1, ...,a_{k}, a_{k+1}) = ((a_1, ...a_{k}), a_{k+1})$.