[math-fun] Fibonacci mod n question