theorem :: FIB_NUM2:56
EvenFibs 4 = <*1,3*>