User blog comment:Wythagoras/All my stuff/@comment-7484840-20130708083606/@comment-5150073-20140715170330

But the definition tells that rule must be based on recursion, I can guess that Wythagoras means that we have to present algorithm explicitly.