Imagem de fundo

Todo X é também Y e todo Z não é Y. Portanto,