@misc{indiciaeca4e32c14fe5, title = {On the Eight Levels theorem and applications towards Lucas-Lehmer primality test for Mersenne primes, I}, author = {Moustafa Ibrahim}, year = {2023}, doi = {10.1080/25765299.2023.2204672}, url = {https://arxiv.org/abs/2305.14362}, note = {Source identifier: 2305.14362} }