[math-fun] Incomplete Beta identity?