L/K bir Galois genişlemesi olsun. Bu durumda K üzerine tanımlı homojen bir lineer denklem sisteminin L üzerine çözümü varsa, K üzerine de çözümü vardır.
edit: Basitleştireyim derken hepten uçurmuşum. Doğan hoca sağolsun, fark etmemi sağladı.
1- L üzerine basit olmayan çözümü varsa, K üzerine de vardır.
2- K üzerine çözümlerin bazı, L üzerine çözümlerin de bir bazıdır.