  This paper first proves what the author called the Eight Levels Theorem and
then highlights a new explicit expansion approach to Lucas-Lehmer primality
test for Mersenne primes and gives a new criterion for Mersenne compositeness.
Also, we prove four new combinatorial identities.
