<human>: Question: Who developed a theory giving the first abstract definition of a finite group?
Answer: Arthur Cayley's
 Is the question answered in a satisfactory fashion?

OPTIONS:
- yes
- no
<bot>: yes