Assertion: sequence's number | /r/HasProperty | the fibonacci number f n+1
Facets:
Source sentences:
text: The number of binary strings of length n without an odd number of consecutive 1 s is the Fibonacci number F n+1 .