Betrachte die Quadratrestgruppe

${\displaystyle \mathbb {Q} ^{\times }/\mathbb {Q} ^{\times 2},}$

wobei ${\displaystyle {}\mathbb {Q} ^{\times 2}}$ die Untergruppe der Quadrate bezeichne. Zeige, dass es zu jeder Restklasse ${\displaystyle {}x\in \mathbb {Q} ^{\times }/\mathbb {Q} ^{\times 2}}$ einen Repräsentanten aus ${\displaystyle {}\mathbb {Z} }$ gibt.