Given (a), if (b1)–(b3) hold then the synchronisation allows us to build a global time function t.
Учитывая (a), и если (b1)-(b3) выполняется, тогда синхронизация позволяет нам построить глобальную функцию времени t.