Numa distribuição um-para-um entre pessoas e opções, se todas as alternativas, exceto uma, são excluídas por restrições para uma pessoa, o que se conclui sobre a alternativa restan

Essa pessoa necessariamente recebe a alternativa restante.

Explicação:
Em atribuições bijetivas, cada opção pertence a exatamente uma pessoa. Se as restrições eliminam todas as opções de uma pessoa, exceto uma, a única opção possível deve ser atribuída a ela, pois não há outra escolha compatível com as regras.

Exemplo:
Três alunos, T1, T2 e T3, escolhem três temas, A, B e C, cada tema escolhido por exatamente um aluno.
Regras: o Aluno1 não pode escolher A nem C, o Aluno2 não pode escolher A, além disso Aluno1 é de um curso que proíbe escolher C.
Como o Aluno1 tem A e C proibidos, resta apenas B, portanto Aluno1 necessariamente escolhe B.