User blog comment:Vel!/Formal logic challenge/@comment-1605058-20140710131056

Lagrange's theorem in group theory