ако 2  k + 2  k  ( 2  9 )  ( 2  9 ) - 2  k , тогава k  ?
"2  k + 2  k  ( 2  9 )  2  9 - 2  k 2 * ( 2  k )  2  ( 4  3  9 )  2  2  2  9 )  2  ( 2  11 ) 2  k + 1  2
subtract(power(2, add(9, const_2)), const_1)