Congruence of contact series through degree `j` implies congruence through any `i ≤ j`.

Initializing...

Congruence of contact series through degree `j` implies congruence through any `i ≤ j`. · Prove2Me