Input: difference( sum(k) )
Write: `difference( sum(k) )`
Output: $$ difference(\sum _k k) == k $$ Result:$$k$$