theorem :: FIB_NUM2:54

Seq (FIB | {2}) = <*1*>