eq relation finished for Commutative Group. YEEEEEAH !