Definition:Non-Trivial Proper Subgroup