Поиск книг, содержащих: Frobenius’s theorem that, if n is a factor of the order of a group, the number of operations of the group whose orders divide n is a multiple of n