diff --git a/book/src/user/simple-example.md b/book/src/user/simple-example.md
index fecf518f..89d74e21 100644
--- a/book/src/user/simple-example.md
+++ b/book/src/user/simple-example.md
@@ -4,7 +4,9 @@ Let's start with a simple circuit, to introduce you to the common APIs and how t
 used. The circuit will take a public input $c$, and will prove knowledge of two private
 inputs $a$ and $b$ such that
 
-$$a^2 \cdot b^2 = c.$$
+$$a^2 \cdot b^2 \cdot \mathrm{constant} = c,$$
+
+where $\mathrm{constant}$ is a fixed number (field element), such as $\mathrm{constant} = 7.$
 
 ## Define instructions