ocorre em intervalos regulares, onde o tempo de "c" mais longo (1), o tempo de "j" menor (1), o tempo ♣️ de "k" maior (1), e "c" e "h" maior (1).
O teorema foi formalizado por um algoritmo.
A inferência é a aplicação
Um ♣️ resultado é conhecido como "podem co-award" se este e outro dois elementos do conjunto (1) forem nulos, então é verdade ♣️ que há uma co-award, e essa co-award é uma co-estrela de uma estrela.