A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Az esetet nyilvánvalóan ki kell zárnunk, de nem lehet , sem, mert akkor (3) nem teljesül, ha pedig , , akkor , (2) pedig az azonosságba megy át, és így akármi lehet, nem áll tehát fenn összefüggés és közt. Tegyük fel a továbbiakban, hogy sem , sem nem . Feltesszük továbbá, hogy a (3)-beli nevezők egyike sem . Az első nevező szorzattá alakítható: , tehát , . A törteket -nel, illetőleg -nal egyszerűsítve (2) jobb oldala és, (3) baloldala az változó kifejezéseként írható: | |
(3')-t szorozva -vel, rendezés után Eszerint, mivel , a (3) feltevés azt fejezi ki, hogy értéke csak lehet. Így a keresett összefüggés (2')-ből |