Adjusted the alignment for QGE theorem.