dukwiriye kugendana ubushishozi buri gihe ari ko turushaho kwegera kristo several properties of the trace function hold for any finite extension