Template:Properness result

This article describes a result of the form that argues that a subset constructed in a certain fashion is proper, viz it is not the whole group