The form in 1-1 is WZ



              F:= (-1)^k/(1-q^(k+1))/qbin(n+k+1,k+1)*(q)_n/(q^2)_n

    G:= (-1)^k/(1-q^(k+1))/qbin(n+k+1,k+1)*(q)_n/(q^2)_n*q^(n+1)/(1+q^(n+1))

                   It suffices to verify that NF - F = KG - G



                               or, equivalently:

                            NF/F - 1 -KG/F + G/F =



                 (n + 1)                            (k + 1)   (n + 1)
            1 - q                             (1 - q       ) q
 --------------------------------- - 1 + ---------------------------------
       (n + 1)        (n + k + 2)              (n + k + 2)        (n + 1)
 (1 + q       ) (1 - q           )       (1 - q           ) (1 + q       )

           (n + 1)
          q
      + ------------                                                     =  0
             (n + 1)
        1 + q

                                   This took

                                      .283

                              Seconds of CPU time