An dieser Stelle muss man nicht unbedingt t|d zeigen. Allein wegen der Tatsache, dass  t beide 
Zahlen a und b teilt, und d die  grösste Zahl mit dieser  Eigenschaft ist, 
kann t nicht grösser als d sein, wie gewünscht.