Comment by eru

These assumptions are sufficient to make the statement a proven theorem.

They are not necessary to work in practice.