proof of rank correlation