Proved lemma about trace map and minimal polynomial
Changed curve "C" to curve "X" in beginning section