Poiché C è abeliano, segue che anche T lo è.
Inoltre, poiché T è un sottogruppo di C, e C è abeliano, T è anche abeliano. Questo implica che T è un gruppo ciclico finito, e quindi è isomorfo a un gruppo ciclico di ordine finito