This fact , together with LOCATION@1 's theorem on the possible sizes of subgroups of a group , provides a proof for PERSON@1 's theorem that for all a coprime to n . The totient function also plays a key role in the definition of the RSA encryption system .

This fact , together with LOCATION@1 's theorem , provides a proof for PERSON@1 's theorem .
