General Form for a Recursive Function That Returns a Value