These two commands together

                              run_symb(T4,v4A,4);

                              run_symb(T4,v4B,4);

give a fully rigorous proof of Conjecture 1 (conjectured by Amal AMleh and G\
    erry Ladas) in the paper

                      By George Spahn and Doron Zeilberger

                 Experimenting with Discrete Dynamical Systems



      https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/dds.pdf



                                                  2        2
                   "denominator:", (x z + y z + y)  (y + z)

                             "min of numerator:", 0

                                             2         2         2
              "denominator:", (x z + y z + y)  (x z + y  + 2 y z)

                             "min of numerator:", 0



                          ----------------------------



                          This took, 0.714, seconds.