proof of gamma and beta function