reduce-cycle: improve doc

experiments/reduce-cycle.py

@@ -2,7 +2,9 @@
 
 """
 Application of Theorem 6.12 to triangles, 4-cycles (Theorem 6.13)
-and 5.cycles (Theorem 6.14).
+and 5.cycles (Theorem 6.14). Note that the results are numeric
+calculation so it is necessary to review the system of equations
+by hand. (It is printed by the command-line parameter -v.)
 """
 
 import sys, os