Se todo Y é Z e existem X que são Y, pode-se concluir que: