I'm referring to this post:
Unique minimal normal subgroup $\implies$ faithful irreducible representation.
Isn't the claim, that there is always a faithful irreducible representation (if $char(K) \nmid |G|$) trivial, because the trivial representation is always irreducible and faithful? So there whould be no need to look first, if there is an unique minimal normal subgroup.
