Transitivity of incomparability