Para todo e , com , é sempre verdadeira a sentença: