Wykaz, ze jeśli x należy do zbioru liczb rzeczywistych z wyjątkiem 0 i 1 oraz y należy do zbioru liczb rzeczywistych z wyjątkiem -1 oraz 0 oraz (x+x:y)^-1 = 1, to y= x:(1-x)