1 == Integrate[(1 - t)^(y[x] - 1) x t, {t, 0, 1}]