2)	Se todo Y é Z e existem X que são Y, pode-se concluir que:
	a)	existem X que são Z.
	b)	todo X é Z.
	c)	todo X é Y.
	d)	todo Y é X.