Added item to TODO list.

TODO

@@ -46,3 +46,5 @@ smvv@multivac ~/work/trs $ printf "0/1\n??" | ./main.py
 <Possibility root="0 / 1" handler=divide_numerics args=(0, 1)>
 Division of 0 by 1 reduces to 0.
 Division of 0 by 1 reduces to 0.
+
+ - Fractions constant rewrite rules.

tests/test_leiden_oefenopgave.py

@@ -133,7 +133,7 @@ class TestLeidenOefenopgave(TestCase):
                             '0x + 16x ^ 2 - 25',
                             '0 + 16x ^ 2 - 25',
                             '-25 + 16x ^ 2'])
-                            # FIXME: '16 * x ^ 2 - 25'])
+                            # FIXME: '16x ^ 2 - 25'])
 
     def test_2(self):
         pass
@@ -149,8 +149,8 @@ class TestLeidenOefenopgave(TestCase):
         self.assertRewrite(['2/7 - 4/11', '22 / 77 - 28 / 77',
                             '(22 - 28) / 77', '-6 / 77'])
 
-    #def test_4_3(self):
-    #    self.assertRewrite(['(7/3) * (3/5)', '7 / 5'])
+    def test_4_3(self):
+        self.assertRewrite(['(7/3) * (3/5)', '7 / 5'])
 
     #def test_4_4(self):
     #    self.assertRewrite(['(3/4) / (5/6)', '9 / 10'])