Put . The Fibonacci recurrence matrix modulo an integer is , so . Direct matrix multiplication gives
Taking the second coordinate proves
For explicit arithmetic behind the second power, squaring gives , whose square is the displayed . Thus the modular period assertions follow from calculations and the recurrence, not from quoting a period theorem.