Bir araştırmacı, "Her sonlu grup, asal mertebeli elemanlar içerir" önermesini kanıtlamak istiyor. Bu önermenin kanıtı aşağıdaki teoremlerden hangisine dayanır?
