← Cosets, Lagrange’s theorem and normal subgroups