She proves that the rational group algebra of this group can be embedded in an ordered division ring.
Siya proves na ang katuwiran ng mga grupo ng algebra sa grupong ito ay maaaring-embed sa isang ordered dibisyon singsing.