Tour:Every nontrivial subgroup of the group of integers is cyclic on its smallest element