Update README.md

README.md

@@ -4,7 +4,7 @@ inference:
   parameters:
     max_length: 1024
 widget:
-- text: "a b c : ℕ\n⊢ a + b + c = a + c + b"
+- text: "a b : ℕ\n⊢ a + b = b + a"
   example_title: "Example"
 ---