за всяко реално число x, операторъте дефиниран като: ( x )  x ( 2  x ), ако p + 1  ( p + 1 ), след това p
( x )  x ( 2  x ) ( p + 1 )  ( p + 1 ) ( 2 - p - 1 )  ( 1 - p ) ( p + 1 ) ни е дадено, че p + 1  ( p + 1 ) следователно ( 1 - p ) ( p + 1 )  ( p + 1 ) или ( p )
negate(divide(negate(2), multiply(const_2, 1)))