Massless special family

The identity is conditional on the inherited formulas XVI-I records for $s_0{F}_t$ and on XI-E thm:cubicvar, the latter re-checked pointwise and not re-proved. Scope: one special family, and only the instance $m=0$.