Thus, the result can be certified with the following certificates: x-certificates ( < x {\displaystyle <_{x}} ) are used to certify the order the vertices of the red and blue envelopes.
Таким чином, результат може бути сертифікований з наступними сертифікатами: Х-сертифікати ( < x {\displaystyle <_{x}} ) використовуються для підтвердження порядку вершин червоних і синіх оболонок.