formalizaremos