theorem :: GROUP_24:108

for n being non zero Nat st n > 2 holds
not Dihedral_group n is commutative