An allowed tangent pattern of `S(a;n)` (`n ≥ 2`) is the self pattern exactly when `d = n`, there is no tangent part, and the off-boundary pattern is the single point of type `(1, n-1)`.

Initializing...

An allowed tangent pattern of `S(a;n)` (`n ≥ 2`) is the self pattern exactly when `d = n`, there is no tangent part, and the off-boundary pattern is the single point of type `(1, n-1)`. · Prove2Me