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