Diaz 2007, Théorème 6: when (1, u, ū) is dependent, v, vu, vu² are not all in ℒ̃

Initializing...

Diaz 2007, Théorème 6: when (1, u, ū) is dependent, v, vu, vu² are not all in ℒ̃ · Prove2Me