A subgroup of an amenable group is amenable
= A subgroup of an amenable group is amenable
Every <subgroup> of an <amenable group> is amenable. One proof restricts an invariant mean after extending bounded functions from the subgroup to the whole group along a set of coset representatives. Consequently, a group containing a nonamenable subgroup is nonamenable.