Implication Details

Assumptions: generator

Conclusions: generating set, inhabited

Reason: This is trivial.