Since S and T generate the modular group SL(2, Z), the second condition above is equivalent to these two equations.
Eftersom S och T genererar modulära gruppen SL(2,Z) är det andra kravet ovan ekvivalent till dessa två ekvationer.