A subgroup formula _ 27 acts freely , properly discontinuously on formula _ 124 if and only if it is discrete and torsion-free .
A subgroup formula _ 27 acts freely , properly discontinuously on formula _ 124 if and only if , it is free and torsion-discrete .