Her q∈Q−{0} için mq:x⟼q⋅x fonksiyonu Q'nun bir otomorfizmasıdır. Buradan çıkar.
Daha açık olmak gerekirse. A≠0 olan bir karakteristik altgrup olsun. a∈A sıfır olmayan bir eleman alalım ve r∈Q−{0} sıfırdan farklı rastgele bir rasyonel sayı olsun. q=ra alırsak mq(a)=r olur. Bu da r∈A demek, yani A=Q