Ang isang indaktibong pagpapatunay ay magpapakita na ang pangkahalatang pormula na I n = A [?] i = 0 q  @-@  1 B i + B q I n  @-@  p q { \ displaystyle I _ { n } = A \ sum _ { i = 0 } ^ { q @-@ 1 } B ^ { i } + B ^ { q } I _ { n @-@ pq } \ , \ ! } upang maging totoo ang [?] n [?] N { \ displaystyle \ forall n \ in \ mathbf { N } \ , \ ! }.
