Frattini-embedded normal-realizable implies ACIC

Verbal statement
Any Frattini-embedded normal-realizable group (i.e. any group that occurs as a Frattini-embedded normal subgroup of some group) must be an ACIC-group.

Related facts
A special case of this is that for a finite group, the Frattini subgroup is ACIC.

Intermediate properties

 * Inner-in-automorphism-Frattini group: This property lies in between the property of being Frattini-embedded normal-realizable, and the property of being an ACIC-group.