If `U` is positive and agrees with `1` through degree `j - 1`, then `ι₊ U` agrees with `1` through degree `j`.

Initializing...

If `U` is positive and agrees with `1` through degree `j - 1`, then `ι₊ U` agrees with `1` through degree `j`. · Prove2Me