Let
Then
for
Theorem
If
Proof
Follows from Wall’s Theorem.
Theorem
If
So the period
Proof
Notice if
so if
then
Conversely if
then the period of
It is invertible so long as
which is impossible for
Then all starting points
Let
Then
is a Group
by left multiplication sending
But as all elements of
no
All equivalence classes under multiplication by
Therefore
so
We know that:
so
and we finally get