A sum over the allowed tangent patterns of `S(a;n)` depending only on the divisor degree `d`, the tangent depth `r`, and the off-boundary pattern, reindexed as a sum over `d`, `r` and patterns of weig

Initializing...

A sum over the allowed tangent patterns of `S(a;n)` depending only on the divisor degree `d`, the tangent depth `r`, and the off-boundary pattern, reindexed as a sum over `d`, `r` and patterns of weig · Prove2Me