Proper Subgroup Definition

1 2