Lagrange's Theorem in group theory follows almost straight away from the definition of an equivalence relation. But lots of theorems in finite group theory stem from it in some way.