sentence1: by construction , the cluster variables are rational functions , but fomin and zelevinsky showed in that they are laurent polynomials with integer coefficients .
sentence2: in , fomin and zelevinsky in fact proved that they are laurent polynomials of initial cluster variables , where it was conjectured the coefficients of these laurent polynomials are non-negative , which is called the positivity conjecture .