Normal implies Lagrange-like

Statement
In a finite loop, any normal subloop is a Lagrange-like subloop, i.e., the order of a normal subloop divides the order of the loop.