I'm not very good with English terms of group theory but here is the question :
$\forall H\trianglelefteq G \rightarrow \exists H' \trianglelefteq G : {G\over H} \approx H'$
is above statement always true? or should there be some other constraints?