Who proved that there is always a run of n consecutive composite Fibonacci numbers? (I'm sure it's either in Fib. Quart. or in Koshy's book, but I have no idea what search terms to use to zero in on this particular result). Any pointers would be appreciated. Al