Definition:Multiplicative Inverse in Field