Помітимо, що впорядкована трійка чисел є коректною датою для конкретного формату якщо a[M]≥ Д. Тоді x.y.z є коректною датою для всіх форматів якщо виконуються наступні умови: a[x]≥y, a[y]≥x, a[x]≥z, a[z] \geq x, a[y] \geq z
