Lagrange’s theorem — Discrete Structures | Lykke