Cocentrality is upward-closed

Statement
Any subgroup of a group containing a cocentral subgroup is also a cocentral subgroup.

Related facts

 * Cocentrality satisfies intermediate subgroup condition
 * Cocentral implies central factor