"Sₙ = Sₙ₊₁ − 1 또는 Sₙ = 1"이 n마다 따로 성립하는 조건이라는 거야. 인수분해한 식 (Sₙ − (Sₙ₊₁ − 1))(Sₙ − 1) = 0 은 "모든 n에 대해" 성립해. 그래서 각각의 n마다 둘 중 하나만 만족하면 돼. 수열 전체가 한 가지 경우로 통일될 필요가 없어. Sₙ ≠ 1이면 → 반드시 Sₙ₊₁ = Sₙ + 1 Sₙ = 1이면 → 식이 이미 0이 되니까 Sₙ₊₁은 아무 값이나 가능