Degree identity for one blowup step: for an allowed pattern, `∑ e · deg(child) = deg(s)` over the children `(e, child)`.

Initializing...

Degree identity for one blowup step: for an allowed pattern, `∑ e · deg(child) = deg(s)` over the children `(e, child)`. · Prove2Me