Order of a quotient group

For a finite group, quotient order is subgroup index: $\abs{G/H}=\abs G/\abs H$.Suggest a slogan

Let $G$ be a finite group and $H\normal G$ a normal subgroup. Then \[ [G: H] = \abs{G/H} = \frac{\abs G}{\abs H}. \]