There are a couple of simple facts about generators of groups which seem intuitively plausible but which I'm not sure how to establish rigorously. (They emerged from this question.)
If a group $G$ cannot be generated by $n$ elements, how do I show that $G\times H$ also cannot be generated by $n$ elements? And if a group $G$ is generated by $n$ elements, how do I show that its quotient is also generated by $n$ elements?