https://thelogictutorial.blogspot.com/2024/05/lagranges-theorem-in-discrete.html