The general case was first proved by Frobenius in 1878.
Η γενική περίπτωση αποδείχτηκε για πρώτη φορά  από τον Frobenius το 1878.