Olkoon ryhmä, ja luvut suhteellisia alkulukuja. Oletetaan, että . Osoita, että on olemassa sellainen , että .