Theorem D as a barrier: some ℚ-subspace L ⊇ ℒ of ℂ has all the Theorem D properties and contains u ≠ 0 with |u| algebraic

Initializing...

Theorem D as a barrier: some ℚ-subspace L ⊇ ℒ of ℂ has all the Theorem D properties and contains u ≠ 0 with |u| algebraic · Prove2Me