d) prokázání přechodnosti.