theorem :: FIB_NUM2:56

EvenFibs 4 = <*1,3*>