Prova de (2)
Notemos preliminarmente que, para 
,
Por outras palavras, dizer que 
equivale a afirmar que 
. Como os valores das funções características são elementos de 
, segue-se que afirmar a desigualdade
equivale a declarar verdadeira a implicação
a qual, por sua vez, diz o mesmo que
Portanto, dizer que "
" vale para todo 
é o mesmo que dizer que se tem
para todo 
, e isto nada mais diz do que 
(pela própria definição de inclusão).