Tour:Subgroup containment relation equals divisibility relation on generators