RE: Prove n choose r