Item
2.1.5.b
.
\(F_0 + F_1 + \cdots + F_n = F_{n+2} - 1\text{.}\)
in-context