Nyt on olemassa vain subsets sellainen, että molemmat ja ovat triviaaleja, joten soita nämä subsets trival nyt liikaa. ###>Now there are only subsets such that both and are trivial, so call these subsets trival from now on too.