Proof of beta function