Непонятно почему в примере - отношение t НЕ транзитивно, ведь пары (2,4) и (4, 6) влекут (2, 6) и эта пара имеет общий делитель 2.