https://thelogictutorial.blogspot.com/2024/05/subgroups-and-order-in-discrete.html