Proofs related to chi-square distribution