Lagrange’s theorem — Discrete Structures CSE25301 | Lykke