If g^k=1 then dividing by g^k you get g^(-k)=1. So ord(1/g) is less than or equal to ord(g). This goes both ways, so equality must hold.
--Awika 14:42, 30 January 2009 (UTC)
