Esto nos permite enunciar lo siguiente