https://thelogictutorial.blogspot.com/2024/05/cyclic-groups-discrete-structures.html