Теорема о свойствах поля по операциям

1. поле $a$ по операциям $b, c$ является абелевой группой по операции $b$