A formal proof of a paradox associated with Cohen's kappa