At a chart point the four compactified residuals vanish iff the four paper residuals (24a, 24b, 24c left-minus-right, 25) do; the normalising factors are nonzero there

Initializing...

At a chart point the four compactified residuals vanish iff the four paper residuals (24a, 24b, 24c left-minus-right, 25) do; the normalising factors are nonzero there · Prove2Me