diff --git a/goldilocks/base.go b/goldilocks/base.go
index 8c9e1d6..457a118 100644
--- a/goldilocks/base.go
+++ b/goldilocks/base.go
@@ -236,6 +236,8 @@ func (p *Chip) Inverse(x Variable) Variable {
 	}
 
 	inverse := NewVariable(result[0])
+	p.RangeCheck(inverse)
+
 	product := p.Mul(inverse, x)
 	p.api.AssertIsEqual(product.Limb, frontend.Variable(1))
 	return inverse