theorem :: FIB_NUM2:54
Seq (FIB | {2}) = <*1*>