Characteristically simple implies CSCFN-realizable

Statement
Any characteristically simple group can be realized as a fact about::CSCFN-subgroup of some group.

Related facts

 * Characteristically simple and non-abelian implies automorphism group is complete
 * Additive group of a field implies monolith in holomorph

Facts used

 * 1) Characteristically simple implies center is a direct factor
 * 2) Center is a direct factor implies NSCFN-realizable
 * 3) Characteristically simple and NSCFN implies monolith
 * 4) Monolith is characteristic

Proof
The proof follows from facts (1)-(4).