Carmichael theorem