Let . Let be the function defined by the rule Evaluate without doing too much work, noting that .