Icon
 

let G be a group and a belong to a to G has infinite order