Manuscript III@2 · III.tex · section · 82dad3e5
Three successor objects
Constructions that do not discharge the sourced successor › Three successor objects · lines 2642–2647
The proposition establishes the logical nonimplication. For a conserved source and compatible data, a reduced solution may also solve the invariant equations; that possibility is not excluded.