اذا كانت ( س , * ) زمرة وكانت أ تنتمي الى س فان مربع أ = م وهو العنصر المحايد , اثبت ان ( س , * ) ابدالية