for K1 being Subfield of F_Rat holds NAT c= the carrier of K1