The axioms for a group are short and natural...
بديهيات الزمر قصيرة وطبيعية...