The finiteness conjecture holds in SL(2,Z>=0)^2