ليكون التعريف مفيداً، يجب أن يوصل إلى قيم غير معرفة بالاستدعاء الذاتي، في هذه الحالة F(0) == 0 و F(1) == 1.
For such a definition to be useful, it must lead to non-recursively defined values, in this case "F"(0) = 0 and "F"(1) = 1.