The self-pattern term of the recursion of `S(a;n)` (`n ≥ 2`) is `q^{-tri n} · q · F_{S(a;n)}`.

Initializing...

The self-pattern term of the recursion of `S(a;n)` (`n ≥ 2`) is `q^{-tri n} · q · F_{S(a;n)}`. · Prove2Me