Dados dos números a y b, necesariamente tiene que verificarse una y sólo una de estas tres posibilidades: