gamma function proof